Searched refs:POPTO (Results 1 – 7 of 7) sorted by relevance
125 POPTO, enumerator
682 case POPTO: in isBasicKind()823 kinds.push_back(POPTO); in TheoryCore()2192 case POPTO: in print()2281 case POPTO: in print()2510 case POPTO: in print()2775 case POPTO: in print()3031 case POPTO: in print()3218 case POPTO: in print()3332 case POPTO: in print()
604 case POPTO: in evaluateCommand()613 if (kind == POPTO) { in evaluateCommand()
2316 d_translator->dump(Expr(POPTO, ratExpr(toLevel, 1)), true); in popto()
568 em.newKind(POPTO, "_POPTO"); in registerKinds()
41 POPTO_TOK = 'POPTO';740 { UNSUPPORTED("POPTO command"); }
1483 - <tt>POPTO</tt> \f$n\f$-- Restore the system to the state it was in right