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