Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
array_of_abstract_tSimple resizable container representing 1-dimensional array
array_tSimple resizable container representing 1-dimensional array
bit_string_tClass for impementation of field of bits
bymoc_enabled_trans_tClass implementing enabled trasition in BYMOC system
bymoc_explicit_system_t
bymoc_expression_tClass representing an expression in BYMOC system
bymoc_process_tClass representing a process in BYMOC system
bymoc_system_tClass for Promela/Bytecode system representation
bymoc_system_trans_tClass implementing system trasition in BYMOC system
bymoc_transition_tClass representing a transition in BYMOC system
comm_matrix_tCommunication matrix
compacted_tClass to access compacted expressions
compacted_viewer_tStructure 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_tCompression implementation class
data_tClass representing a general data type
distr_reporter_t
distributed_tMain distributed support class
dve_enabled_trans_tClass implementing enabled trasition in DVE system
dve_explicit_system_tClass in DVE system interpretation
dve_explicit_system_t::state_creator_t
dve_expression_tClass representing an expression in DVE system
dve_parser_tClass that provides an interface to the parsing of DVE sources
dve_position_tStructure for storing of position in a source code
dve_prob_explicit_system_tClass in DVE system interpretation
dve_prob_process_tClass representing a DVE process in probabilistic system
dve_prob_transition_tClass representing a DVE transition in probabilistic system
dve_process_decomposition_t
dve_process_tClass representing a process
dve_source_position_tClass for storage of position in a source code
dve_symbol_t
dve_symbol_table_tClass which stores the declaration of symbols (see dve_symbol_t)
dve_system_tClass for a DVE system representation
dve_system_trans_tClass implementing system trasition in DVE system
dve_token_vector_tClass used by dve_symbol_table_t to store the names of symbols
dve_transition_tClass representing a transition
enabled_trans_container_tContainer determined for storing enabled processes in one state
enabled_trans_tClass storing informations about one enabled transition
ERR_throw_t
ERR_triplet_t
error_string_tClass determined for storing error messages
error_vector_tThe main class in error.hh determined for storing
ES_parameters_tStructure determined for passing parameters to ES_*_eval() functions
explicit_storage_tExplicit storage class
explicit_system_t
expression_tAbstact interface of a class representing an expression
hash_function_tClass that unifies hash functions in the library
logger_t
message_tClass representing a data to send or receive using network_t
network_tNetwork communication support class
por_tClass for utilization of partial order reduction
prob_and_property_trans_t
prob_explicit_system_t
prob_process_t
prob_succ_container_tClass determined to store probabilistic successors of some state
prob_succ_element_tSingle element to store in prob_succ_container_t
prob_system_tAbstract interface of a class representing a model of a system
prob_transition_tAbstract interface of a class representing a probabilistic transition
process_decomposition_t
process_tAbstact interface of a class representing a process of a system
pshStructure determined for causing storing/printing error messages
reporter_tClass for messuring and reporting
state_ref_tState reference class
state_tStructure representing the state of the system
static_info_tClass used to collect data during synchronization
succ_container_tClass determined to store successors of some state
SYS_initial_values_tInternal type for storing initial values of various identifiers
SYS_parameters_t
system_abilities_tStructure storing abilities of system and its subordinate components
system_tAbstract interface of a class representing a model of a system
system_trans_tClass storing informations about one system transition
thrStructure determined for causing storing/printing error messages
timeinfo_tClass for a time measuring
transition_tAbstract interface of a class representing a transition
updateable_info_tClass 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_tClass for a memory consumtion measuring

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University