Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dcandidate_rewrite_database.cpp248 unsigned eqsz = d_tds->getSygusTermSize(eq_sol); in addTerm() local
249 if (eqsz > sz) in addTerm()
251 sz = eqsz; in addTerm()