Searched refs:eqsz (Results 1 – 1 of 1) sorted by relevance
248 unsigned eqsz = d_tds->getSygusTermSize(eq_sol); in addTerm() local249 if (eqsz > sz) in addTerm()251 sz = eqsz; in addTerm()