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 __anone8f128fb0111::TrustNonnullChecker