libutap
Enumerations
UTAP::Constants Namespace Reference

Enumerations

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, COS_F, SIN_F,
  LOG_F, EXP_F, SQRT_F, RANDOM_F,
  FABS_F, LN_F, POW_F, CEIL_F,
  FLOOR_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
}
 
enum  synchronisation_t { SYNC_QUE, SYNC_BANG, SYNC_CSP }
 

Enumeration Type Documentation

Enumerator
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 
COS_F 
SIN_F 
LOG_F 
EXP_F 
SQRT_F 
RANDOM_F 
FABS_F 
LN_F 
POW_F 
CEIL_F 
FLOOR_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 
Enumerator
SYNC_QUE 
SYNC_BANG 
SYNC_CSP