Searched refs:getNumOperators (Results 1 – 4 of 4) sorted by relevance
90 unsigned getNumOperators();
121 for (unsigned k = 0; k < db->getNumOperators(); k++) in compute()
56 unsigned TermDb::getNumOperators() { return d_ops.size(); } in getNumOperators() function in CVC4::theory::quantifiers::TermDb
472 unsigned size = d_quantEngine->getTermDatabase()->getNumOperators(); in addHoTypeMatchPredicateLemmas()