Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dsygus_pbe.cpp53 bool neval_is_evalapp = false; in collectExamples() local
60 neval_is_evalapp = true; in collectExamples()
71 neval_is_evalapp = true; in collectExamples()
76 if (neval_is_evalapp && d_examples.find(neval[0]) != d_examples.end()) in collectExamples()