| enum | NUSMV_CORE_SYMBOLS {
NUSMV_CORE_SYMBOL_FIRST = 100,
NUSMV_STATEMENTS_SYMBOL_FIRST = NUSMV_CORE_SYMBOL_FIRST,
TRANS,
INIT,
INVAR,
ASSIGN,
FAIRNESS,
JUSTICE,
COMPASSION,
SPEC,
LTLSPEC,
PSLSPEC,
INVARSPEC,
COMPUTE,
DEFINE,
ISA,
GOTO,
CONSTRAINT,
MODULE,
PROCESS,
MODTYPE,
LAMBDA,
CONSTANTS,
PRED,
ATTIME,
PREDS_LIST,
MIRROR,
DEFINE_PROPERTY,
SYNTAX_ERROR,
NUSMV_STATEMENTS_SYMBOL_LAST,
NUSMV_EXPR_SYMBOL_FIRST,
FAILURE,
CONTEXT,
EU,
AU,
EBU,
ABU,
MINU,
MAXU,
VAR,
FROZENVAR,
IVAR,
BOOLEAN,
ARRAY,
SCALAR,
CONS,
BDD,
SEMI,
EQDEF,
TWODOTS,
FALSEEXP,
TRUEEXP,
SELF,
CASE,
COLON,
IFTHENELSE,
SIMPWFF,
NEXTWFF,
LTLWFF,
CTLWFF,
COMPWFF,
ATOM,
NUMBER,
COMMA,
IMPLIES,
IFF,
OR,
XOR,
XNOR,
AND,
NOT,
EX,
AX,
EF,
AF,
EG,
AG,
SINCE,
UNTIL,
TRIGGERED,
RELEASES,
EBF,
EBG,
ABF,
ABG,
OP_NEXT,
OP_GLOBAL,
OP_FUTURE,
OP_PREC,
OP_NOTPRECNOT,
OP_HISTORICAL,
OP_ONCE,
EQUAL,
NOTEQUAL,
LT,
GT,
LE,
GE,
UNION,
SETIN,
MOD,
PLUS,
MINUS,
TIMES,
DIVIDE,
UMINUS,
NEXT,
SMALLINIT,
DOT,
BIT,
RANGE,
UNSIGNED_WORD,
SIGNED_WORD,
INTEGER,
REAL,
CONTINUOUS,
NUMBER_UNSIGNED_WORD,
NUMBER_SIGNED_WORD,
NUMBER_FRAC,
NUMBER_REAL,
NUMBER_EXP,
LSHIFT,
RSHIFT,
LROTATE,
RROTATE,
BIT_SELECTION,
CONCATENATION,
CAST_BOOL,
CAST_WORD1,
CAST_SIGNED,
CAST_UNSIGNED,
EXTEND,
WORDARRAY,
WAREAD,
WAWRITE,
UWCONST,
SWCONST,
WRESIZE,
WSIZEOF,
CAST_TOINT,
COMPID,
ARRAY_TYPE,
ARRAY_DEF,
NFUNCTION,
NFUNCTION_TYPE,
FUN,
COUNT,
FLOOR,
ITYPE,
WORDARRAY_TYPE,
INTERNAL_ARRAY_STRUCT,
CONST_ARRAY,
INTARRAY,
INTARRAY_TYPE,
TYPEOF,
CAST_TO_UNSIGNED_WORD,
NUSMV_EXPR_SYMBOL_LAST,
NUSMV_CORE_SYMBOL_LAST
} |
1.6.1
