Lines Matching defs:Assumption
28 bool Assumption) {
42 return assume(State, Cond.castAs<NonLoc>(), Assumption);
46 NonLoc Cond, bool Assumption) {
47 State = assumeAux(State, Cond, Assumption);
49 return EE->processAssume(State, Cond, Assumption);
55 bool Assumption) {
63 return assumeSymUnsupported(State, Sym, Assumption);
74 return assumeSym(State, Sym, Assumption);
79 bool isFeasible = b ? Assumption : !Assumption;
85 bool IsFeasible = IsNull ? Assumption : !Assumption;
91 Assumption);