Lines Matching defs:Assumption
70 bool Assumption) {
84 return assume(state, Cond.castAs<NonLoc>(), Assumption);
99 SymbolRef Sym, bool Assumption) {
108 if (Assumption)
116 bool Assumption) {
123 return assumeAuxForSymbol(state, sym, Assumption);
137 return assumeAuxForSymbol(state, sym, Assumption);
145 if (!Assumption)
171 if (!Assumption)
178 return assumeAuxForSymbol(state, sym, Assumption);
183 bool isFeasible = b ? Assumption : !Assumption;
189 Assumption);