Searched refs:mayComplete (Results 1 – 5 of 5) sorted by relevance
56 bool TermEnumeration::mayComplete(TypeNode tn) in mayComplete() function in CVC4::theory::quantifiers::TermEnumeration63 bool mc = mayComplete(tn, options::fmfTypeCompletionThresh()); in mayComplete()70 bool TermEnumeration::mayComplete(TypeNode tn, unsigned maxCard) in mayComplete() function in CVC4::theory::quantifiers::TermEnumeration
52 bool mayComplete(TypeNode tn);57 static bool mayComplete(TypeNode tn, unsigned cardMax);
214 if (d_qe->getTermEnumeration()->mayComplete(tn)) in initializeRepresentativesForType()
412 || d_quantEngine->getTermEnumeration()->mayComplete(tn)) in checkOwnership()
419 else if (d_term_enum->mayComplete(tn)) in isFiniteBound()