Home
last modified time | relevance | path

Searched refs:eq_sol_new (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dcandidate_rewrite_database.cpp193 Node eq_sol_new = d_sampler->registerTerm(sol); in addTerm() local
194 Assert(eq_sol_new == sol); in addTerm()