array_of_abstract_t | Simple resizable container representing 1-dimensional array |
array_t | Simple resizable container representing 1-dimensional array |
bit_string_t | Class for impementation of field of bits |
bymoc_enabled_trans_t | Class implementing enabled trasition in BYMOC system |
bymoc_explicit_system_t | |
bymoc_expression_t | Class representing an expression in BYMOC system |
bymoc_process_t | Class representing a process in BYMOC system |
bymoc_system_t | Class for Promela/Bytecode system representation |
bymoc_system_trans_t | Class implementing system trasition in BYMOC system |
bymoc_transition_t | Class representing a transition in BYMOC system |
comm_matrix_t | Communication matrix |
compacted_t | Class to access compacted expressions |
compacted_viewer_t | Structure of a single compacted expression. In the memory block, this initial structure is followed by the left subexpression (if present), and then by right subexpression (if present). r_offset is an offset to the right subexpression |
compressor_t | Compression implementation class |
data_t | Class representing a general data type |
distr_reporter_t | |
distributed_t | Main distributed support class |
dve_enabled_trans_t | Class implementing enabled trasition in DVE system |
dve_explicit_system_t | Class in DVE system interpretation |
dve_explicit_system_t::state_creator_t | |
dve_expression_t | Class representing an expression in DVE system |
dve_parser_t | Class that provides an interface to the parsing of DVE sources |
dve_position_t | Structure for storing of position in a source code |
dve_prob_explicit_system_t | Class in DVE system interpretation |
dve_prob_process_t | Class representing a DVE process in probabilistic system |
dve_prob_transition_t | Class representing a DVE transition in probabilistic system |
dve_process_decomposition_t | |
dve_process_t | Class representing a process |
dve_source_position_t | Class for storage of position in a source code |
dve_symbol_t | |
dve_symbol_table_t | Class which stores the declaration of symbols (see dve_symbol_t) |
dve_system_t | Class for a DVE system representation |
dve_system_trans_t | Class implementing system trasition in DVE system |
dve_token_vector_t | Class used by dve_symbol_table_t to store the names of symbols |
dve_transition_t | Class representing a transition |
enabled_trans_container_t | Container determined for storing enabled processes in one state |
enabled_trans_t | Class storing informations about one enabled transition |
ERR_throw_t | |
ERR_triplet_t | |
error_string_t | Class determined for storing error messages |
error_vector_t | The main class in error.hh determined for storing |
ES_parameters_t | Structure determined for passing parameters to ES_*_eval() functions |
explicit_storage_t | Explicit storage class |
explicit_system_t | |
expression_t | Abstact interface of a class representing an expression |
hash_function_t | Class that unifies hash functions in the library |
logger_t | |
message_t | Class representing a data to send or receive using network_t |
network_t | Network communication support class |
por_t | Class for utilization of partial order reduction |
prob_and_property_trans_t | |
prob_explicit_system_t | |
prob_process_t | |
prob_succ_container_t | Class determined to store probabilistic successors of some state |
prob_succ_element_t | Single element to store in prob_succ_container_t |
prob_system_t | Abstract interface of a class representing a model of a system |
prob_transition_t | Abstract interface of a class representing a probabilistic transition |
process_decomposition_t | |
process_t | Abstact interface of a class representing a process of a system |
psh | Structure determined for causing storing/printing error messages |
reporter_t | Class for messuring and reporting |
state_ref_t | State reference class |
state_t | Structure representing the state of the system |
static_info_t | Class used to collect data during synchronization |
succ_container_t | Class determined to store successors of some state |
SYS_initial_values_t | Internal type for storing initial values of various identifiers |
SYS_parameters_t | |
system_abilities_t | Structure storing abilities of system and its subordinate components |
system_t | Abstract interface of a class representing a model of a system |
system_trans_t | Class storing informations about one system transition |
thr | Structure determined for causing storing/printing error messages |
timeinfo_t | Class for a time measuring |
transition_t | Abstract interface of a class representing a transition |
updateable_info_t | Class used to collect data during synchronization |
updateable_info_t< updateable_data_t, no_const_data_type_t > | Class used to collect data during synchronization |
vminfo_t | Class for a memory consumtion measuring |