Lines Matching refs:Assumption
60 bool Assumption) {
62 return assume(state, *NV, Assumption);
63 return assume(state, Cond.castAs<Loc>(), Assumption);
67 bool assumption) {
68 state = assumeAux(state, cond, assumption);
70 return SU->processAssume(state, cond, assumption);
75 Loc Cond, bool Assumption) {
91 if (Assumption)
103 return Assumption ? state : NULL;
107 bool isFeasible = b ? Assumption : !Assumption;
115 bool assumption) {
116 state = assumeAux(state, cond, assumption);
118 return SU->processAssume(state, cond, assumption);
140 SymbolRef Sym, bool Assumption) {
149 if (Assumption)
157 bool Assumption) {
164 return assumeAuxForSymbol(state, sym, Assumption);
180 return assumeAuxForSymbol(state, sym, Assumption);
187 return assumeAuxForSymbol(state, sym, Assumption);
194 op = (Assumption ? BO_NE : BO_EQ);
198 if (!Assumption)
207 bool isFeasible = b ? Assumption : !Assumption;
213 Assumption);