Searched defs:tutil (Results 1 – 3 of 3) sorted by relevance
1 package tutil package
205 quantifiers::TermUtil* tutil = d_quantEngine->getTermUtil(); in sendInstantiation() local473 quantifiers::TermUtil* tutil = d_quantEngine->getTermUtil(); in addHoTypeMatchPredicateLemmas() local
557 TermUtil* tutil = d_quantEngine->getTermUtil(); in registerCounterexampleLemma() local