common.h File Reference

#include <cinttypes>
#include <string>
#include <vector>

Include dependency graph for common.h:

This graph shows which files directly or indirectly include this file:

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::ABS_F, UTAP::Constants::FABS_F,   UTAP::Constants::FMOD_F, UTAP::Constants::FMA_F, UTAP::Constants::FMAX_F, UTAP::Constants::FMIN_F,   UTAP::Constants::FDIM_F, UTAP::Constants::EXP_F, UTAP::Constants::EXP2_F, UTAP::Constants::EXPM1_F,   UTAP::Constants::LN_F, UTAP::Constants::LOG_F, UTAP::Constants::LOG10_F, UTAP::Constants::LOG2_F,   UTAP::Constants::LOG1P_F, UTAP::Constants::POW_F, UTAP::Constants::SQRT_F, UTAP::Constants::CBRT_F,   UTAP::Constants::HYPOT_F, UTAP::Constants::SIN_F, UTAP::Constants::COS_F, UTAP::Constants::TAN_F,   UTAP::Constants::ASIN_F, UTAP::Constants::ACOS_F, UTAP::Constants::ATAN_F, UTAP::Constants::ATAN2_F,   UTAP::Constants::SINH_F, UTAP::Constants::COSH_F, UTAP::Constants::TANH_F, UTAP::Constants::ASINH_F,   UTAP::Constants::ACOSH_F, UTAP::Constants::ATANH_F, UTAP::Constants::ERF_F, UTAP::Constants::ERFC_F,   UTAP::Constants::TGAMMA_F, UTAP::Constants::LGAMMA_F, UTAP::Constants::CEIL_F, UTAP::Constants::FLOOR_F,   UTAP::Constants::TRUNC_F, UTAP::Constants::ROUND_F, UTAP::Constants::FINT_F, UTAP::Constants::LDEXP_F,   UTAP::Constants::ILOGB_F, UTAP::Constants::LOGB_F, UTAP::Constants::NEXTAFTER_F, UTAP::Constants::COPYSIGN_F,   UTAP::Constants::FPCLASSIFY_F, UTAP::Constants::ISFINITE_F, UTAP::Constants::ISINF_F, UTAP::Constants::ISNAN_F,   UTAP::Constants::ISNORMAL_F, UTAP::Constants::SIGNBIT_F, UTAP::Constants::ISUNORDERED_F, UTAP::Constants::RANDOM_F,   UTAP::Constants::RANDOM_ARCSINE_F, UTAP::Constants::RANDOM_BETA_F, UTAP::Constants::RANDOM_GAMMA_F, UTAP::Constants::RANDOM_NORMAL_F,   UTAP::Constants::RANDOM_POISSON_F, UTAP::Constants::RANDOM_WEIBULL_F, UTAP::Constants::RANDOM_TRI_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::sync_use_t { UTAP::sync_use_t::unused, UTAP::sync_use_t::io, UTAP::sync_use_t::csp }
	Synchronization usage options: I/O (with ? or !) or CSP (plain) More...
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...