Lines Matching refs:Assumption
59 bool Assumption) {
61 return assume(state, cast<NonLoc>(Cond), Assumption);
63 return assume(state, cast<Loc>(Cond), Assumption);
67 bool assumption) {
68 state = assumeAux(state, cond, assumption);
69 return SU.processAssume(state, cond, assumption);
73 Loc Cond, bool Assumption) {
92 if (Assumption)
104 return Assumption ? state : NULL;
108 bool isFeasible = b ? Assumption : !Assumption;
116 bool assumption) {
117 state = assumeAux(state, cond, assumption);
118 return SU.processAssume(state, cond, 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);