Searched refs:ARITH_VAR_ORDER (Results 1 – 6 of 6) sorted by relevance
137 ARITH_VAR_ORDER, enumerator
580 em.newKind(ARITH_VAR_ORDER, "_ARITH_VAR_ORDER"); in registerKinds()
881 case ARITH_VAR_ORDER: { in evaluateCommand()
1271 d_translator->dump(Expr(ARITH_VAR_ORDER, smaller, bigger), true); in addPairToArithOrder()
835 kinds.push_back(ARITH_VAR_ORDER); in TheoryCore()2865 case ARITH_VAR_ORDER: { in print()
81 ARITH_VAR_ORDER_TOK = 'ARITH_VAR_ORDER';880 { UNSUPPORTED("ARITH_VAR_ORDER command"); }