Searched refs:addImplication (Results 1 – 1 of 1) sorted by relevance
75 State = addImplication(Antecedent, State, true); in evalAssume()76 State = addImplication(Antecedent, State, false); in evalAssume()214 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication() function in __anon47c84c9a0111::TrustNonnullChecker