Searched refs:ConstraintMgr (Results 1 – 2 of 2) sorted by relevance
500 std::unique_ptr<ConstraintManager> ConstraintMgr; variable565 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()671 ConstraintMgr->EndPath(St); in EndPath()695 return getStateManager().ConstraintMgr in assume()704 return getStateManager().ConstraintMgr in assume()716 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange()729 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()
85 ConstraintMgr = (*CreateCMgr)(*this, SubEng); in ProgramStateManager()117 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()384 return getStateManager().ConstraintMgr->isNull(this, Sym); in isNull()