Searched refs:eq_solb (Results 1 – 1 of 1) sorted by relevance
106 Node eq_solb = eq_sol; in addTerm() local111 eq_solb = d_tds->sygusToBuiltin(eq_sol); in addTerm()119 eq_solr = d_ext_rewrite->extendedRewrite(eq_solb); in addTerm()124 eq_solr = Rewriter::rewrite(eq_solb); in addTerm()204 is_unique_term = solb.isConst() && eq_solb.isConst(); in addTerm()