Searched refs:ProgramStatePair (Results 1 – 2 of 2) sorted by relevance
71 typedef std::pair<ProgramStateRef, ProgramStateRef> ProgramStatePair; typedef75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()88 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeDual()96 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeDual()99 return ProgramStatePair(StTrue, StFalse); in assumeDual()108 virtual ProgramStatePair assumeWithinInclusiveRangeDual( in assumeWithinInclusiveRangeDual()117 return ProgramStatePair((ProgramStateRef)nullptr, State); in assumeWithinInclusiveRangeDual()125 return ProgramStatePair(State, (ProgramStateRef)nullptr); in assumeWithinInclusiveRangeDual()128 return ProgramStatePair(StInRange, StOutOfRange); in assumeWithinInclusiveRangeDual()
33 const ProgramStatePair &P = assumeDual(State, V); in checkNull()