Searched refs:getTypeGroundTerm (Results 1 – 3 of 3) sorted by relevance
109 Node getTypeGroundTerm(TypeNode tn, unsigned i) const;
167 Node gt = d_quantEngine->getTermDatabase()->getTypeGroundTerm( in process()
100 Node TermDb::getTypeGroundTerm(TypeNode tn, unsigned i) const in getTypeGroundTerm() function in CVC4::theory::quantifiers::TermDb