enum | UTAP::Constants::kind_t {
UTAP::Constants::PLUS = 0,
UTAP::Constants::MINUS = 1,
UTAP::Constants::MULT = 2,
UTAP::Constants::DIV = 3,
UTAP::Constants::MOD = 4,
UTAP::Constants::BIT_AND = 5,
UTAP::Constants::BIT_OR = 6,
UTAP::Constants::BIT_XOR = 7,
UTAP::Constants::BIT_LSHIFT = 8,
UTAP::Constants::BIT_RSHIFT = 9,
UTAP::Constants::AND = 10,
UTAP::Constants::OR = 11,
UTAP::Constants::MIN = 12,
UTAP::Constants::MAX = 13,
UTAP::Constants::RATE = 14,
UTAP::Constants::LT = 20,
UTAP::Constants::LE = 21,
UTAP::Constants::EQ = 22,
UTAP::Constants::NEQ = 23,
UTAP::Constants::GE = 24,
UTAP::Constants::GT = 25,
UTAP::Constants::NOT = 30,
UTAP::Constants::FORALL = 31,
UTAP::Constants::EXISTS = 32,
UTAP::Constants::ASSIGN = 40,
UTAP::Constants::ASSPLUS = 41,
UTAP::Constants::ASSMINUS = 42,
UTAP::Constants::ASSDIV = 43,
UTAP::Constants::ASSMOD = 44,
UTAP::Constants::ASSMULT = 45,
UTAP::Constants::ASSAND = 46,
UTAP::Constants::ASSOR = 47,
UTAP::Constants::ASSXOR = 48,
UTAP::Constants::ASSLSHIFT = 49,
UTAP::Constants::ASSRSHIFT = 50,
UTAP::Constants::EF = 60,
UTAP::Constants::EG = 61,
UTAP::Constants::AF = 62,
UTAP::Constants::AG = 63,
UTAP::Constants::LEADSTO = 64,
UTAP::Constants::A_UNTIL = 65,
UTAP::Constants::A_WEAKUNTIL = 66,
UTAP::Constants::EF2 = 67,
UTAP::Constants::EG2 = 68,
UTAP::Constants::AF2 = 69,
UTAP::Constants::AG2 = 70,
UTAP::Constants::AG_R = 71,
UTAP::Constants::EF_R = 72,
UTAP::Constants::CONTROL = 80,
UTAP::Constants::EF_CONTROL = 81,
UTAP::Constants::CONTROL_TOPT = 82,
UTAP::Constants::SUP = 83,
UTAP::Constants::INF = 84,
UTAP::Constants::IDENTIFIER = 512,
UTAP::Constants::CONSTANT = 513,
UTAP::Constants::ARRAY = 514,
UTAP::Constants::POSTINCREMENT = 515,
UTAP::Constants::PREINCREMENT = 516,
UTAP::Constants::POSTDECREMENT = 517,
UTAP::Constants::PREDECREMENT = 518,
UTAP::Constants::UNARY_MINUS = 519,
UTAP::Constants::LIST = 520,
UTAP::Constants::DOT = 521,
UTAP::Constants::INLINEIF = 522,
UTAP::Constants::COMMA = 523,
UTAP::Constants::SYNC = 525,
UTAP::Constants::DEADLOCK = 526,
UTAP::Constants::FUNCALL = 527,
UTAP::Constants::UNKNOWN = 600,
UTAP::Constants::VOID_TYPE = 601,
UTAP::Constants::CLOCK = 602,
UTAP::Constants::INT = 603,
UTAP::Constants::BOOL = 604,
UTAP::Constants::SCALAR = 605,
UTAP::Constants::LOCATION = 606,
UTAP::Constants::CHANNEL = 607,
UTAP::Constants::COST = 608,
UTAP::Constants::INVARIANT = 609,
UTAP::Constants::INVARIANT_WR = 610,
UTAP::Constants::GUARD = 611,
UTAP::Constants::DIFF = 612,
UTAP::Constants::CONSTRAINT = 613,
UTAP::Constants::FORMULA = 614,
UTAP::Constants::RANGE = 650,
UTAP::Constants::LABEL = 651,
UTAP::Constants::RECORD = 652,
UTAP::Constants::REF = 654,
UTAP::Constants::URGENT = 655,
UTAP::Constants::COMMITTED = 656,
UTAP::Constants::BROADCAST = 657,
UTAP::Constants::TYPEDEF = 658,
UTAP::Constants::PROCESS = 659,
UTAP::Constants::PROCESSSET = 660,
UTAP::Constants::INSTANCE = 661,
UTAP::Constants::META = 662,
UTAP::Constants::FUNCTION = 663
} |