Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_pbe.cpp445 unsigned min_term_size = 0; in constructCandidates() local
457 if (i == 0 || sz < min_term_size) in constructCandidates()
459 min_term_size = sz; in constructCandidates()
480 Assert(szs[i] >= min_term_size); in constructCandidates()
481 int diff = szs[i] - min_term_size; in constructCandidates()