Searched refs:ConstraintSMT (Results 1 – 1 of 1) sorted by relevance
25 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType) in REGISTER_TRAIT_WITH_PROGRAMSTATE() argument202 auto CZ = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()203 auto &CZFactory = State->get_context<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()210 return State->set<ConstraintSMT>(CZ); in REGISTER_TRAIT_WITH_PROGRAMSTATE()215 ConstraintSMTType Constraints = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()243 return S1->get<ConstraintSMT>() == S2->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()301 return State->add<ConstraintSMT>(std::make_pair(Sym, Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()310 auto CZ = State->get<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()330 State->add<ConstraintSMT>(std::make_pair(Sym, Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()333 NewState->get<ConstraintSMT>().Profile(ID); in REGISTER_TRAIT_WITH_PROGRAMSTATE()