Searched refs:getNumGroundTerms (Results 1 – 5 of 5) sorted by relevance
97 unsigned getNumGroundTerms(Node f) const;
124 unsigned sz = db->getNumGroundTerms( op ); in compute()
64 unsigned TermDb::getNumGroundTerms(Node f) const in getNumGroundTerms() function in CVC4::theory::quantifiers::TermDb
47 d_term_iter_limit = d_qe->getTermDatabase()->getNumGroundTerms( d_op ); in resetInstantiationRound()
82 unsigned ngt = qe->getTermDatabase()->getNumGroundTerms( f ); in getActiveScore()1130 unsigned ngt = qe->getTermDatabase()->getNumGroundTerms( f ); in getActiveScore()