Searched refs:isTermActive (Results 1 – 5 of 5) sorted by relevance
248 bool isTermActive(Node n);
271 if (hasTermCurrent(n) && isTermActive(n)) in computeUfEqcTerms()322 if (!isTermActive(n)) in computeUfTerms()753 bool TermDb::isTermActive( Node n ) { in isTermActive() function in CVC4::theory::quantifiers::TermDb
128 if( db->isTermActive( n ) ){ in compute()
313 …return d_quantEngine->getTermDatabase()->isTermActive( n ) && inst::Trigger::isAtomicTrigger( n ) … in isHandledTerm()461 …if( getTermDatabase()->hasTermCurrent( n ) && getTermDatabase()->isTermActive( n ) && ( n.getKind(… in check()
33 …return d_qe->getTermDatabase()->isTermActive( n ) && ( !options::cbqi() || !quantifiers::TermUtil:… in isLegalCandidate()