libutap
Namespaces | Enumerations
common.h File Reference
#include <inttypes.h>
#include <string>
#include <vector>

Go to the source code of this file.

Namespaces

 UTAP
 
 UTAP::Constants
 

Enumerations

enum  UTAP::Constants::kind_t {
  UTAP::Constants::PLUS, UTAP::Constants::MINUS, UTAP::Constants::MULT, UTAP::Constants::DIV,
  UTAP::Constants::MOD, UTAP::Constants::BIT_AND, UTAP::Constants::BIT_OR, UTAP::Constants::BIT_XOR,
  UTAP::Constants::BIT_LSHIFT, UTAP::Constants::BIT_RSHIFT, UTAP::Constants::AND, UTAP::Constants::OR,
  UTAP::Constants::XOR, UTAP::Constants::MIN, UTAP::Constants::MAX, UTAP::Constants::RATE,
  UTAP::Constants::FRACTION, UTAP::Constants::LT, UTAP::Constants::LE, UTAP::Constants::EQ,
  UTAP::Constants::NEQ, UTAP::Constants::GE, UTAP::Constants::GT, UTAP::Constants::SIMULATION_LE,
  UTAP::Constants::SIMULATION_GE, UTAP::Constants::REFINEMENT_LE, UTAP::Constants::REFINEMENT_GE, UTAP::Constants::TIOCOMPOSITION,
  UTAP::Constants::TIOCONJUNCTION, UTAP::Constants::TIOQUOTIENT, UTAP::Constants::NOT, UTAP::Constants::FORALL,
  UTAP::Constants::EXISTS, UTAP::Constants::SUM, UTAP::Constants::COS_F, UTAP::Constants::SIN_F,
  UTAP::Constants::LOG_F, UTAP::Constants::EXP_F, UTAP::Constants::SQRT_F, UTAP::Constants::RANDOM_F,
  UTAP::Constants::FABS_F, UTAP::Constants::LN_F, UTAP::Constants::POW_F, UTAP::Constants::CEIL_F,
  UTAP::Constants::FLOOR_F, UTAP::Constants::ASSIGN, UTAP::Constants::ASSPLUS, UTAP::Constants::ASSMINUS,
  UTAP::Constants::ASSDIV, UTAP::Constants::ASSMOD, UTAP::Constants::ASSMULT, UTAP::Constants::ASSAND,
  UTAP::Constants::ASSOR, UTAP::Constants::ASSXOR, UTAP::Constants::ASSLSHIFT, UTAP::Constants::ASSRSHIFT,
  UTAP::Constants::EF, UTAP::Constants::EG, UTAP::Constants::AF, UTAP::Constants::AG,
  UTAP::Constants::LEADSTO, UTAP::Constants::A_UNTIL, UTAP::Constants::A_WEAKUNTIL, UTAP::Constants::AG_R_Piotr,
  UTAP::Constants::EF_R_Piotr, UTAP::Constants::A_BUCHI, UTAP::Constants::PMAX, UTAP::Constants::PROBAMINBOX,
  UTAP::Constants::PROBAMINDIAMOND, UTAP::Constants::PROBABOX, UTAP::Constants::PROBADIAMOND, UTAP::Constants::PROBACMP,
  UTAP::Constants::PROBAEXP, UTAP::Constants::SIMULATE, UTAP::Constants::SIMULATEREACH, UTAP::Constants::BOX,
  UTAP::Constants::DIAMOND, UTAP::Constants::CONTROL, UTAP::Constants::PO_CONTROL, UTAP::Constants::EF_CONTROL,
  UTAP::Constants::CONTROL_TOPT, UTAP::Constants::CONTROL_TOPT_DEF1, UTAP::Constants::CONTROL_TOPT_DEF2, UTAP::Constants::SMC_CONTROL,
  UTAP::Constants::CONSISTENCY, UTAP::Constants::RESTRICT, UTAP::Constants::IMPLEMENTATION, UTAP::Constants::SPECIFICATION,
  UTAP::Constants::SYNTAX_COMPOSITION, UTAP::Constants::SUP_VAR, UTAP::Constants::INF_VAR, UTAP::Constants::SCENARIO,
  UTAP::Constants::SCENARIO2, UTAP::Constants::IDENTIFIER, UTAP::Constants::CONSTANT, UTAP::Constants::ARRAY,
  UTAP::Constants::POSTINCREMENT, UTAP::Constants::PREINCREMENT, UTAP::Constants::POSTDECREMENT, UTAP::Constants::PREDECREMENT,
  UTAP::Constants::UNARY_MINUS, UTAP::Constants::LIST, UTAP::Constants::DOT, UTAP::Constants::INLINEIF,
  UTAP::Constants::COMMA, UTAP::Constants::SYNC, UTAP::Constants::DEADLOCK, UTAP::Constants::FUNCALL,
  UTAP::Constants::UNKNOWN, UTAP::Constants::VOID_TYPE, UTAP::Constants::CLOCK, UTAP::Constants::INT,
  UTAP::Constants::DOUBLE, UTAP::Constants::BOOL, UTAP::Constants::SCALAR, UTAP::Constants::LOCATION,
  UTAP::Constants::CHANNEL, UTAP::Constants::COST, UTAP::Constants::INVARIANT, UTAP::Constants::INVARIANT_WR,
  UTAP::Constants::GUARD, UTAP::Constants::DIFF, UTAP::Constants::CONSTRAINT, UTAP::Constants::FORMULA,
  UTAP::Constants::BRANCHPOINT, UTAP::Constants::PROBABILITY, UTAP::Constants::TIOGRAPH, UTAP::Constants::INSTANCELINE,
  UTAP::Constants::MESSAGE, UTAP::Constants::CONDITION, UTAP::Constants::UPDATE, UTAP::Constants::RANGE,
  UTAP::Constants::LABEL, UTAP::Constants::RECORD, UTAP::Constants::REF, UTAP::Constants::URGENT,
  UTAP::Constants::COMMITTED, UTAP::Constants::BROADCAST, UTAP::Constants::HYBRID, UTAP::Constants::TYPEDEF,
  UTAP::Constants::PROCESS, UTAP::Constants::PROCESSSET, UTAP::Constants::INSTANCE, UTAP::Constants::SYSTEM_META,
  UTAP::Constants::FUNCTION, UTAP::Constants::LSCINSTANCE, UTAP::Constants::MITLFORMULA, UTAP::Constants::MITLRELEASE,
  UTAP::Constants::MITLUNTIL, UTAP::Constants::MITLCONJ, UTAP::Constants::MITLDISJ, UTAP::Constants::MITLNEXT,
  UTAP::Constants::MITLATOM, UTAP::Constants::MITLEXISTS, UTAP::Constants::MITLFORALL, UTAP::Constants::SPAWN,
  UTAP::Constants::EXIT, UTAP::Constants::NUMOF, UTAP::Constants::FORALLDYNAMIC, UTAP::Constants::EXISTSDYNAMIC,
  UTAP::Constants::SUMDYNAMIC, UTAP::Constants::FOREACHDYNAMIC, UTAP::Constants::DYNAMICEVAL, UTAP::Constants::PROCESSVAR,
  UTAP::Constants::DOUBLEINVGUARD
}
 
enum  UTAP::Constants::synchronisation_t { UTAP::Constants::SYNC_QUE, UTAP::Constants::SYNC_BANG, UTAP::Constants::SYNC_CSP }
 
enum  UTAP::xta_part_t {
  UTAP::S_XTA, UTAP::S_DECLARATION, UTAP::S_LOCAL_DECL, UTAP::S_INST,
  UTAP::S_SYSTEM, UTAP::S_PARAMETERS, UTAP::S_INVARIANT, UTAP::S_EXPONENTIALRATE,
  UTAP::S_SELECT, UTAP::S_GUARD, UTAP::S_SYNC, UTAP::S_ASSIGN,
  UTAP::S_EXPRESSION, UTAP::S_EXPRESSION_LIST, UTAP::S_PROPERTY, UTAP::S_XTA_PROCESS,
  UTAP::S_PROBABILITY, UTAP::S_INSTANCELINE, UTAP::S_MESSAGE, UTAP::S_UPDATE,
  UTAP::S_CONDITION
}
 Type for specifying which XTA part to parse (syntax switch) More...