Searched defs:Antecedent (Results 1 – 1 of 1) sorted by relevance
72 for (SymbolRef Antecedent : CondS->symbols()) { in evalAssume() local212 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication()