Lines Matching defs:Assumption
59 bool Assumption) {
61 return assume(state, cast<NonLoc>(Cond), Assumption);
63 return assume(state, cast<Loc>(Cond), Assumption);
73 Loc Cond, bool Assumption) {
92 if (Assumption)
104 return Assumption ? state : NULL;
108 bool isFeasible = b ? Assumption : !Assumption;
140 bool Assumption) {
143 if (Assumption)
151 bool Assumption) {
158 return assumeAuxForSymbol(state, sym, Assumption);
175 return assumeAuxForSymbol(state, sym, Assumption);
182 return assumeAuxForSymbol(state, sym, Assumption);
189 op = (Assumption ? BO_NE : BO_EQ);
193 if (!Assumption)
202 bool isFeasible = b ? Assumption : !Assumption;
208 Assumption);