Searched refs:getTermDepth (Results 1 – 3 of 3) sorted by relevance
281 return quantifiers::TermUtil::getTermDepth( n ); in getRepScore()
260 static int getTermDepth( Node n );
597 int TermUtil::getTermDepth( Node n ) { in getTermDepth() function in CVC4::theory::quantifiers::TermUtil601 int depth = getTermDepth( n[i] ); in getTermDepth()