Searched defs:Antecedent (Results 1 – 1 of 1) sorted by relevance
73 const SymbolRef Antecedent = *B; in evalAssume() local213 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication()