Searched refs:eq_solr (Results 1 – 1 of 1) sorted by relevance
115 Node eq_solr; in addTerm() local119 eq_solr = d_ext_rewrite->extendedRewrite(eq_solb); in addTerm()124 eq_solr = Rewriter::rewrite(eq_solb); in addTerm()133 Node crr = solbr.eqNode(eq_solr).negate(); in addTerm()237 << "; candidate #2 ext-rewrites to: " << eq_solr << std::endl; in addTerm()