Home
last modified time | relevance | path

Searched defs:isVarAgnostic (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/
H A Ddatatypes_sygus.cpp305 bool isVarAgnostic = d_tds->isVariableAgnosticEnumerator(m); in assertTesterInternal() local
525 bool isVarAgnostic) in getSimpleSymBreakPred()
963 bool isVarAgnostic, in registerSearchValue()
1595 bool isVarAgnostic = d_tds->isVariableAgnosticEnumerator(prog); in check() local
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dterm_database_sygus.cpp624 bool isVarAgnostic = in registerEnumerator() local