dve_system_t Member List

This is the complete list of members for dve_system_t, including all inherited members.

abilities (defined in system_t)system_t [protected]
add_process(process_t *const process)dve_system_t [virtual]
can_be_modified() const system_t [inline]
can_decompose_property() const system_t [inline]
can_processes() const system_t [inline]
can_property_process() const system_t [inline]
can_transitions() const system_t [inline]
channel_count (defined in dve_system_t)dve_system_t [protected]
constants (defined in dve_system_t)dve_system_t [protected]
copy_private_part(const system_t &second) (defined in system_t)system_t [inline, protected]
DBG_print_all_initialized_variables()dve_system_t
dve_system_t(error_vector_t &evect=gerr)dve_system_t
ERR_FILE_NOT_OPEN (defined in system_t)system_t [static]
ERR_TYPE_SYSTEM (defined in system_t)system_t [static]
eval_dotdve_system_t [protected]
eval_dot_compact (defined in dve_system_t)dve_system_t [protected]
eval_expr(const dve_expression_t *const expr, bool &eval_err) const dve_system_t [protected]
eval_iddve_system_t [protected]
eval_id_compact (defined in dve_system_t)dve_system_t [protected]
eval_square_bracketdve_system_t [protected]
eval_square_bracket_compact (defined in dve_system_t)dve_system_t [protected]
fast_eval(compacted_viewer_t *p_compacted, bool &eval_err) const dve_system_t [protected]
from_string(const std::string str)dve_system_t [virtual]
get_abilities()system_t [inline]
get_abilities() const system_t [inline]
get_channel_count() const dve_system_t [inline]
get_channel_freq(size_int_t ch_gid) const dve_system_t [inline]
get_channel_freq_ask(size_int_t ch_gid) const dve_system_t [inline]
get_channel_freq_exclaim(size_int_t ch_gid) const dve_system_t [inline]
get_error_vector()system_t [inline]
get_error_vector() const system_t [inline]
get_global_variable_count() const dve_system_t [inline]
get_global_variable_gid(const size_int_t i) const dve_system_t [inline]
get_process(const size_int_t gid)dve_system_t [inline, virtual]
get_process(const size_int_t id) const dve_system_t [inline, virtual]
get_process_count() const dve_system_t [inline, virtual]
get_property_decomposition()system_t [inline, virtual]
get_property_gid() const dve_system_t [inline, virtual]
get_property_process()dve_system_t [inline, virtual]
get_property_process() const dve_system_t [inline, virtual]
get_property_scc_count() const dve_system_t [inline, virtual]
get_property_scc_id(state_t &_state) const dve_system_t [inline, virtual]
get_property_scc_type(int _scc) const dve_system_t [inline, virtual]
get_property_scc_type(state_t &_state) const dve_system_t [inline, virtual]
get_property_type()dve_system_t [inline, virtual]
get_property_with_synchro() const dve_system_t [inline]
get_symbol_table() const dve_system_t [inline]
get_system_synchro() const dve_system_t [inline]
get_trans_count() const dve_system_t [inline, virtual]
get_transition(size_int_t gid)dve_system_t [inline, virtual]
get_transition(size_int_t gid) const dve_system_t [inline, virtual]
get_with_property() const system_t [inline]
glob_var_countdve_system_t [protected]
initial_states (defined in dve_system_t)dve_system_t [protected]
initial_valuesdve_system_t [protected]
initial_values_countsdve_system_t [protected]
is_property_weak() const dve_system_t [inline, virtual]
MAX_INIT_VALUES_SIZEdve_system_t [protected]
not_in_limits(dve_var_type_t var_type, all_values_t value)dve_system_t
parametersdve_system_t [protected]
ppropertydve_system_t [protected]
process_field_sizedve_system_t [protected]
processesdve_system_t [protected]
prop_giddve_system_t [protected]
property_has_synchronizationdve_system_t [protected]
psymbol_tabledve_system_t [protected]
read(std::istream &ins=std::cin)dve_system_t [virtual]
read(const char *const filename)dve_system_t [virtual]
remove_process(const size_int_t process_id)dve_system_t [virtual]
set_property_gid(const size_int_t gid)dve_system_t [virtual]
set_property_with_synchro(const bool contains_synchro)dve_system_t [inline]
set_system_synchro(const system_synchronicity_t sync)dve_system_t [inline]
set_with_property(const bool is_with)system_t [inline]
state_count (defined in dve_system_t)dve_system_t [protected]
state_lids (defined in dve_system_t)dve_system_t [protected]
system_synchro (defined in dve_system_t)dve_system_t [protected]
system_t(error_vector_t &evect=gerr)system_t [inline]
terr (defined in system_t)system_t [protected]
to_string()dve_system_t [virtual]
var_count (defined in dve_system_t)dve_system_t [protected]
var_typesdve_system_t [protected]
with_property (defined in system_t)system_t [protected]
write(const char *const filename)dve_system_t [virtual]
write(std::ostream &outs=std::cout)dve_system_t [virtual]
~dve_system_t()dve_system_t [virtual]
~system_t()system_t [inline, virtual]


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