Searched refs:isVariableAgnosticEnumerator (Results 1 – 5 of 5) sorted by relevance
137 bool isVariableAgnosticEnumerator(Node e) const;
372 if (d_tds->isVariableAgnosticEnumerator(e)) in addSearchVal()
820 if (d_tds->isVariableAgnosticEnumerator(e)) in getEnumeratedValue()
737 bool TermDbSygus::isVariableAgnosticEnumerator(Node e) const in isVariableAgnosticEnumerator() function in CVC4::theory::quantifiers::TermDbSygus
305 bool isVarAgnostic = d_tds->isVariableAgnosticEnumerator(m); in assertTesterInternal()1351 if (d_tds->isVariableAgnosticEnumerator(e)) in registerSizeTerm()1595 bool isVarAgnostic = d_tds->isVariableAgnosticEnumerator(prog); in check()