Searched refs:ConstraintMgr (Results 1 – 2 of 2) sorted by relevance
512 std::unique_ptr<ConstraintManager> ConstraintMgr; variable580 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()609 return ConstraintMgr->haveEqualConstraints(S1, S2); in haveEqualConstraints()711 return getStateManager().ConstraintMgr in assume()720 return getStateManager().ConstraintMgr in assume()732 return getStateManager().ConstraintMgr->assumeInclusiveRange( in assumeInclusiveRange()745 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()
81 ConstraintMgr = (*CreateCMgr)(*this, ExprEng); in ProgramStateManager()391 return getStateManager().ConstraintMgr->isNull(this, Sym); in isNull()