| enum | kind_t {
PLUS,
MINUS,
MULT,
DIV,
MOD,
BIT_AND,
BIT_OR,
BIT_XOR,
BIT_LSHIFT,
BIT_RSHIFT,
AND,
OR,
XOR,
MIN,
MAX,
RATE,
FRACTION,
LT,
LE,
EQ,
NEQ,
GE,
GT,
SIMULATION_LE,
SIMULATION_GE,
REFINEMENT_LE,
REFINEMENT_GE,
TIOCOMPOSITION,
TIOCONJUNCTION,
TIOQUOTIENT,
NOT,
FORALL,
EXISTS,
SUM,
ABS_F,
FABS_F,
FMOD_F,
FMA_F,
FMAX_F,
FMIN_F,
FDIM_F,
EXP_F,
EXP2_F,
EXPM1_F,
LN_F,
LOG_F,
LOG10_F,
LOG2_F,
LOG1P_F,
POW_F,
SQRT_F,
CBRT_F,
HYPOT_F,
SIN_F,
COS_F,
TAN_F,
ASIN_F,
ACOS_F,
ATAN_F,
ATAN2_F,
SINH_F,
COSH_F,
TANH_F,
ASINH_F,
ACOSH_F,
ATANH_F,
ERF_F,
ERFC_F,
TGAMMA_F,
LGAMMA_F,
CEIL_F,
FLOOR_F,
TRUNC_F,
ROUND_F,
FINT_F,
LDEXP_F,
ILOGB_F,
LOGB_F,
NEXTAFTER_F,
COPYSIGN_F,
FPCLASSIFY_F,
ISFINITE_F,
ISINF_F,
ISNAN_F,
ISNORMAL_F,
SIGNBIT_F,
ISUNORDERED_F,
RANDOM_F,
RANDOM_ARCSINE_F,
RANDOM_BETA_F,
RANDOM_GAMMA_F,
RANDOM_NORMAL_F,
RANDOM_POISSON_F,
RANDOM_WEIBULL_F,
RANDOM_TRI_F,
ASSIGN,
ASSPLUS,
ASSMINUS,
ASSDIV,
ASSMOD,
ASSMULT,
ASSAND,
ASSOR,
ASSXOR,
ASSLSHIFT,
ASSRSHIFT,
EF,
EG,
AF,
AG,
LEADSTO,
A_UNTIL,
A_WEAKUNTIL,
AG_R_Piotr,
EF_R_Piotr,
A_BUCHI,
PMAX,
PROBAMINBOX,
PROBAMINDIAMOND,
PROBABOX,
PROBADIAMOND,
PROBACMP,
PROBAEXP,
SIMULATE,
SIMULATEREACH,
BOX,
DIAMOND,
CONTROL,
PO_CONTROL,
EF_CONTROL,
CONTROL_TOPT,
CONTROL_TOPT_DEF1,
CONTROL_TOPT_DEF2,
SMC_CONTROL,
CONSISTENCY,
RESTRICT,
IMPLEMENTATION,
SPECIFICATION,
SYNTAX_COMPOSITION,
SUP_VAR,
INF_VAR,
SCENARIO,
SCENARIO2,
IDENTIFIER,
CONSTANT,
ARRAY,
POSTINCREMENT,
PREINCREMENT,
POSTDECREMENT,
PREDECREMENT,
UNARY_MINUS,
LIST,
DOT,
INLINEIF,
COMMA,
SYNC,
DEADLOCK,
FUNCALL,
UNKNOWN,
VOID_TYPE,
CLOCK,
INT,
DOUBLE,
BOOL,
SCALAR,
LOCATION,
CHANNEL,
COST,
INVARIANT,
INVARIANT_WR,
GUARD,
DIFF,
CONSTRAINT,
FORMULA,
BRANCHPOINT,
PROBABILITY,
TIOGRAPH,
INSTANCELINE,
MESSAGE,
CONDITION,
UPDATE,
RANGE,
LABEL,
RECORD,
REF,
URGENT,
COMMITTED,
BROADCAST,
HYBRID,
TYPEDEF,
PROCESS,
PROCESSSET,
INSTANCE,
SYSTEM_META,
FUNCTION,
LSCINSTANCE,
MITLFORMULA,
MITLRELEASE,
MITLUNTIL,
MITLCONJ,
MITLDISJ,
MITLNEXT,
MITLATOM,
MITLEXISTS,
MITLFORALL,
SPAWN,
EXIT,
NUMOF,
FORALLDYNAMIC,
EXISTSDYNAMIC,
SUMDYNAMIC,
FOREACHDYNAMIC,
DYNAMICEVAL,
PROCESSVAR,
DOUBLEINVGUARD
} |
1.8.13