Searched refs:POPTO_SCOPE (Results 1 – 6 of 6) sorted by relevance
128 POPTO_SCOPE, enumerator
685 case POPTO_SCOPE: in isBasicKind()826 kinds.push_back(POPTO_SCOPE); in TheoryCore()2195 case POPTO_SCOPE: in print()2284 case POPTO_SCOPE: in print()2513 case POPTO_SCOPE: in print()2789 case POPTO_SCOPE: in print()3048 case POPTO_SCOPE: in print()3221 case POPTO_SCOPE: in print()
571 em.newKind(POPTO_SCOPE, "_POPTO_SCOPE"); in registerKinds()
605 case POPTO_SCOPE: { in evaluateCommand()
2362 d_translator->dump(Expr(POPTO_SCOPE, ratExpr(toLevel, 1)), true); in poptoScope()
44 POPTO_SCOPE_TOK = 'POPTO_SCOPE';748 { UNSUPPORTED("POPTO_SCOPE command"); }