Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Antecedent

34 ///    (antecedent != 0) => (consequent != 0)
40 ///    (antecedent == 0) => (consequent == 0)
73       const SymbolRef Antecedent = *B;
74       State = addImplication(Antecedent, State, true);
75       State = addImplication(Antecedent, State, false);
211   /// the negation of \p Antecedent.
212   /// Checks NonNullImplicationMap and assumes \p Antecedent otherwise.
213   ProgramStateRef addImplication(SymbolRef Antecedent,
220         Negated ? InputState->get<NonNullImplicationMap>(Antecedent)
221                 : InputState->get<NullImplicationMap>(Antecedent);
225     SVal AntecedentV = SVB.makeSymbolVal(Antecedent);
237         State = State->remove<NonNullImplicationMap>(Antecedent);
240         State = State->remove<NullImplicationMap>(Antecedent);