Searched refs:DUMP_TCC (Results 1 – 7 of 7) sorted by relevance
113 DUMP_TCC, enumerator
556 em.newKind(DUMP_TCC, "_DUMP_TCC"); in registerKinds()
796 case DUMP_TCC: { in evaluateCommand()
2217 d_translator->dump(d_em->newLeafExpr(DUMP_TCC), true); in getTCC()
641 case DUMP_TCC: in isBasicKind()809 kinds.push_back(DUMP_TCC); in TheoryCore()
1499 - <tt>DUMP_TCC</tt> -- dump the TCC for the last formula in ASSERT or QUERY2147 The command <tt>DUMP_TCC</tt> prints out the TCC for the formula
71 DUMP_TCC_TOK = 'DUMP_TCC';