Lines Matching refs:ConstraintManager

24 ConstraintManager::~ConstraintManager() = default;
33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,  in checkNull()
47 ConstraintManager::ProgramStatePair
48 ConstraintManager::assumeDualImpl(ProgramStateRef &State,  in assumeDualImpl()
92 ConstraintManager::ProgramStatePair
93 ConstraintManager::assumeDual(ProgramStateRef State, DefinedSVal Cond) {  in assumeDual()
100 ConstraintManager::ProgramStatePair
101 ConstraintManager::assumeInclusiveRangeDual(ProgramStateRef State, NonLoc Value,  in assumeInclusiveRangeDual()
110 ProgramStateRef ConstraintManager::assume(ProgramStateRef State,  in assume()
112   ConstraintManager::ProgramStatePair R = assumeDual(State, Cond);  in assume()
117 ConstraintManager::assumeInclusiveRange(ProgramStateRef State, NonLoc Value,  in assumeInclusiveRange()
120   ConstraintManager::ProgramStatePair R =  in assumeInclusiveRange()