Searched refs:DUMP_TCC_ASSUMPTIONS (Results 1 – 7 of 7) sorted by relevance
114 DUMP_TCC_ASSUMPTIONS, enumerator
557 em.newKind(DUMP_TCC_ASSUMPTIONS, "_DUMP_TCC_ASSUMPTIONS"); in registerKinds()
808 case DUMP_TCC_ASSUMPTIONS: { in evaluateCommand()
2227 d_translator->dump(d_em->newLeafExpr(DUMP_TCC_ASSUMPTIONS), true); in getAssumptionsTCC()
642 case DUMP_TCC_ASSUMPTIONS: in isBasicKind()810 kinds.push_back(DUMP_TCC_ASSUMPTIONS); in TheoryCore()
72 DUMP_TCC_ASSUMPTIONS_TOK = 'DUMP_TCC_ASSUMPTIONS';
1500 - <tt>DUMP_TCC_ASSUMPTIONS</tt> -- dump assumptions used in the proofs of the