Searched refs:ConstraintMgr (Results 1 – 2 of 2) sorted by relevance
445 std::unique_ptr<ConstraintManager> ConstraintMgr; variable509 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()615 ConstraintMgr->EndPath(St); in EndPath()639 return getStateManager().ConstraintMgr in assume()648 return getStateManager().ConstraintMgr in assume()
79 ConstraintMgr.reset((*CreateCMgr)(*this, SubEng)); in ProgramStateManager()111 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()361 return getStateManager().ConstraintMgr->isNull(this, Sym); in isNull()