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);