Searched refs:exc_sol (Results 1 – 1 of 1) sorted by relevance
246 Node exc_sol = sol; in addTerm() local252 exc_sol = eq_sol; in addTerm()256 Node lem = d_tds->getExplain()->getExplanationForEquality(x, exc_sol); in addTerm()