Searched refs:Antecedent (Results 1 – 1 of 1) sorted by relevance
72 for (SymbolRef Antecedent : CondS->symbols()) { in evalAssume() local73 State = addImplication(Antecedent, State, true); in evalAssume()74 State = addImplication(Antecedent, State, false); in evalAssume()212 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication() argument219 Negated ? InputState->get<NonNullImplicationMap>(Antecedent) in addImplication()220 : InputState->get<NullImplicationMap>(Antecedent); in addImplication()224 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()236 State = State->remove<NonNullImplicationMap>(Antecedent); in addImplication()239 State = State->remove<NullImplicationMap>(Antecedent); in addImplication()