Searched refs:assumeInclusiveRangeDual (Results 1 – 3 of 3) sorted by relevance
89 std::tie(StIn, StOut) = CM.assumeInclusiveRangeDual(state, *NV, Zero, One); in checkBind()
122 virtual ProgramStatePair assumeInclusiveRangeDual(ProgramStateRef State, in assumeInclusiveRangeDual() function
705 return getStateManager().ConstraintMgr->assumeInclusiveRangeDual( in assumeInclusiveRange()