, including all inherited members.
abilities (defined in system_t) | system_t | [protected] |
dve_explicit_system_t::explicit_system_t::add_process(process_t *const process)=0 | system_t | [pure virtual] |
dve_system_t::add_process(process_t *const process) | dve_system_t | [virtual] |
append_new_enabled(dve_transition_t *const t_answ, dve_transition_t *const t_ask, const bool trans_err) | dve_explicit_system_t | [protected] |
append_new_enabled_prop_sync(dve_transition_t *const t_answ, dve_transition_t *const t_prop, const bool trans_err) | dve_explicit_system_t | [protected] |
apply_effect(const state_t state, const dve_expression_t *const effect) | dve_explicit_system_t | [protected] |
apply_transition_effects(const state_t state, const dve_transition_t *const trans) | dve_explicit_system_t | [protected] |
array_sizes (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
aux_enabled_trans (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
aux_enabled_trans2 (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
aux_succ_container (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
can_be_modified() const | system_t | [inline] |
can_decompose_property() const | system_t | [inline] |
can_evaluate_expressions() | explicit_system_t | [inline] |
can_processes() const | system_t | [inline] |
can_property_process() const | system_t | [inline] |
can_system_transitions() | explicit_system_t | [inline] |
can_transitions() const | system_t | [inline] |
channel_buffer_size (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
channel_content_count(const state_t &state, const size_int_t gid) | dve_explicit_system_t | [protected] |
channel_count (defined in dve_system_t) | dve_system_t | [protected] |
channel_element_size (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
channel_is_empty(const state_t &state, const size_int_t gid) | dve_explicit_system_t | [protected] |
channel_is_full(const state_t &state, const size_int_t gid) | dve_explicit_system_t | [protected] |
channel_item_pos (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
channel_item_type (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
channels (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
compute_enabled_of_property(const state_t state) | dve_explicit_system_t | [protected] |
compute_enabled_stage1(const size_int_t process_number, channels_t *channels, const state_t state, const bool only_commited) | dve_explicit_system_t | [protected] |
compute_enabled_stage2(const size_int_t process_number, channels_t *channels, const state_t state, const bool only_commited) | dve_explicit_system_t | [protected] |
compute_successors_without_sync(const size_int_t process_number, succ_container_t &succs, const state_t state) | dve_explicit_system_t | [protected] |
consolidate() | prob_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] |
create_error_state() | dve_explicit_system_t | [protected] |
DBG_print_all_initialized_variables() | dve_system_t | |
DBG_print_state(state_t state, std::ostream &outs=std::cerr, const ulong_int_t format=ES_FMT_PRINT_ALL_NAMES) | dve_explicit_system_t | |
DBG_print_state_CR(state_t state, std::ostream &outs=std::cerr, const ulong_int_t format=ES_FMT_PRINT_ALL_NAMES) | dve_explicit_system_t | [inline] |
dve_explicit_system_t(error_vector_t &evect=gerr) | dve_explicit_system_t | |
dve_prob_explicit_system_t(error_vector_t &evect=gerr) | dve_prob_explicit_system_t | [inline] |
dve_prob_system_t(error_vector_t &evect=gerr) (defined in dve_prob_system_t) | dve_prob_system_t | [inline] |
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_dot | dve_system_t | [protected] |
eval_dot_compact (defined in dve_system_t) | dve_system_t | [protected] |
eval_expr(const expression_t *const expr, const state_t state, data_t &data) const | dve_explicit_system_t | [inline, virtual] |
eval_expr(const dve_expression_t *const expr, const state_t state, bool &eval_err) const | dve_explicit_system_t | [inline] |
dve_system_t::eval_expr(const dve_expression_t *const expr, bool &eval_err) const | dve_system_t | [protected] |
eval_id | dve_system_t | [protected] |
eval_id_compact (defined in dve_system_t) | dve_system_t | [protected] |
eval_square_bracket | dve_system_t | [protected] |
eval_square_bracket_compact (defined in dve_system_t) | dve_system_t | [protected] |
explicit_system_t(error_vector_t &evect) | explicit_system_t | [inline] |
fast_eval(compacted_viewer_t *p_compacted, bool &eval_err) const | dve_system_t | [protected] |
first_in_succs (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
dve_explicit_system_t::explicit_system_t::from_string(const std::string str)=0 | system_t | [pure virtual] |
dve_system_t::from_string(const std::string str) | dve_system_t | [virtual] |
get_abilities() | system_t | [inline] |
get_abilities() const | system_t | [inline] |
get_async_enabled_trans(const state_t state, enabled_trans_container_t &enb_trans) | dve_explicit_system_t | [protected] |
get_async_enabled_trans_succ(const state_t state, const enabled_trans_t &enabled, state_t &new_state) | dve_explicit_system_t | [protected] |
get_async_enabled_trans_succ(const state_t state, const enabled_trans_t &enabled, state_t &new_state, const state_t property_state) | dve_explicit_system_t | [protected] |
get_async_enabled_trans_succ_without_property(const state_t state, const enabled_trans_t &enabled, state_t &new_state) | dve_explicit_system_t | [protected] |
get_async_enabled_trans_succs(const state_t state, succ_container_t &succs, const enabled_trans_container_t &enabled_trans) | dve_explicit_system_t | [protected] |
get_async_succs(const state_t state, succ_container_t &succs) | dve_explicit_system_t | [inline, protected] |
get_async_succs(const state_t state, succ_container_t &succs, enabled_trans_container_t &enb_trans) | dve_explicit_system_t | [inline, protected] |
get_async_succs_internal(const state_t state, succ_container_t &succs) | dve_explicit_system_t | [protected] |
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_channel_pos(const size_int_t gid) const | dve_explicit_system_t | [inline] |
get_enabled_ith_trans(const state_t state, const size_int_t i, enabled_trans_t &enb_trans) | dve_explicit_system_t | [virtual] |
get_enabled_trans(const state_t state, enabled_trans_container_t &enb_trans) | dve_explicit_system_t | [inline, virtual] |
get_enabled_trans_count(const state_t state, size_int_t &count) | dve_explicit_system_t | [virtual] |
get_enabled_trans_succ(const state_t state, const enabled_trans_t &enabled, state_t &new_state) | dve_explicit_system_t | [inline, virtual] |
get_enabled_trans_succs(const state_t state, succ_container_t &succs, const enabled_trans_container_t &enabled_trans) | dve_explicit_system_t | [inline, virtual] |
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_index_of_trans_in_prob_trans(const size_int_t trans_gid) const | prob_system_t | [inline] |
get_initial_state() | dve_explicit_system_t | [virtual] |
get_ith_succ(state_t state, const int i, state_t &succ) | dve_explicit_system_t | [virtual] |
get_preallocation_count() const | dve_explicit_system_t | [inline, virtual] |
get_prob_trans_count() const | prob_system_t | [inline, virtual] |
get_prob_trans_of_trans(const size_int_t trans_gid) const | prob_system_t | [inline] |
get_prob_transition(size_int_t gid) | prob_system_t | [inline, virtual] |
get_prob_transition(size_int_t gid) const | prob_system_t | [inline, virtual] |
dve_explicit_system_t::explicit_system_t::get_process(const size_int_t gid)=0 | system_t | [pure virtual] |
dve_explicit_system_t::explicit_system_t::get_process(const size_int_t gid) const =0 | system_t | [pure virtual] |
dve_system_t::get_process(const size_int_t gid) | dve_system_t | [inline, virtual] |
dve_system_t::get_process(const size_int_t id) const | dve_system_t | [inline, virtual] |
dve_explicit_system_t::explicit_system_t::get_process_count() const =0 | system_t | [pure virtual] |
dve_system_t::get_process_count() const | dve_system_t | [inline, virtual] |
get_process_pos(const size_int_t gid) const | dve_explicit_system_t | [inline] |
get_process_size(const size_int_t gid) const | dve_explicit_system_t | [inline] |
get_property_decomposition() | dve_explicit_system_t | [inline, virtual] |
dve_explicit_system_t::explicit_system_t::get_property_gid() const =0 | system_t | [pure virtual] |
dve_system_t::get_property_gid() const | dve_system_t | [inline, virtual] |
dve_explicit_system_t::explicit_system_t::get_property_process()=0 | system_t | [pure virtual] |
dve_explicit_system_t::explicit_system_t::get_property_process() const =0 | system_t | [pure virtual] |
dve_system_t::get_property_process() | dve_system_t | [inline, virtual] |
dve_system_t::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_trans(const system_trans_t &sys_trans) const | dve_explicit_system_t | |
dve_explicit_system_t::explicit_system_t::get_property_type()=0 | system_t | [pure virtual] |
dve_system_t::get_property_type() | dve_system_t | [inline, virtual] |
get_property_with_synchro() const | dve_system_t | [inline] |
get_receiving_trans(const system_trans_t &sys_trans) const | dve_explicit_system_t | |
get_sending_or_normal_trans(const system_trans_t &sys_trans) const | dve_explicit_system_t | |
get_space_sum() const | dve_explicit_system_t | |
get_state_creator_value_of_var_type(const state_t state, size_int_t var_gid, const dve_var_type_t var_type, const size_int_t index=0) | dve_explicit_system_t | [protected] |
get_state_of_process(const state_t state, size_int_t process_id) const | dve_explicit_system_t | |
get_succs(state_t state, prob_succ_container_t &succs, enabled_trans_container_t &etc) | dve_prob_explicit_system_t | [virtual] |
get_succs(state_t state, prob_succ_container_t &succs) | dve_prob_explicit_system_t | [inline, virtual] |
dve_explicit_system_t::get_succs(state_t state, succ_container_t &succs) | dve_explicit_system_t | [inline, virtual] |
dve_explicit_system_t::get_succs(state_t state, succ_container_t &succs, enabled_trans_container_t &etc) | dve_explicit_system_t | [inline, virtual] |
get_succs_ordered_by_prob_and_property_trans(state_t state, prob_succ_container_t &succs) (defined in dve_prob_explicit_system_t) | dve_prob_explicit_system_t | [virtual] |
get_symbol_table() const | dve_system_t | [inline] |
get_sync_enabled_trans(const state_t state, enabled_trans_container_t &enb_trans) | dve_explicit_system_t | [protected] |
get_sync_enabled_trans_succ(const state_t state, const enabled_trans_t &enabled, state_t &new_state) | dve_explicit_system_t | [protected] |
get_sync_enabled_trans_succs(const state_t state, succ_container_t &succs, const enabled_trans_container_t &enabled_trans) | dve_explicit_system_t | [protected] |
get_sync_succs(state_t state, succ_container_t &succs) | dve_explicit_system_t | [inline, protected] |
get_sync_succs(state_t state, succ_container_t &succs, enabled_trans_container_t &etc) | dve_explicit_system_t | [inline, protected] |
get_sync_succs_internal(state_t state, succ_container_t &succs, enabled_trans_container_t *const etc) | dve_explicit_system_t | [protected] |
get_system_synchro() const | dve_system_t | [inline] |
dve_explicit_system_t::explicit_system_t::get_trans_count() const =0 | system_t | [pure virtual] |
dve_system_t::get_trans_count() const | dve_system_t | [inline, virtual] |
dve_explicit_system_t::explicit_system_t::get_transition(size_int_t gid)=0 | system_t | [pure virtual] |
dve_explicit_system_t::explicit_system_t::get_transition(size_int_t gid) const =0 | system_t | [pure virtual] |
dve_system_t::get_transition(size_int_t gid) | dve_system_t | [inline, virtual] |
dve_system_t::get_transition(size_int_t gid) const | dve_system_t | [inline, virtual] |
get_var_pos(const size_int_t gid) const | dve_explicit_system_t | [inline] |
get_var_value(const state_t state, size_int_t var_gid, const size_int_t index=0) | dve_explicit_system_t | [inline] |
get_with_property() const | system_t | [inline] |
glob_count (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
glob_filters (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
glob_var_count | dve_system_t | [protected] |
global_position (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
go_to_error(state_t state) | dve_explicit_system_t | [protected] |
initial_states (defined in dve_system_t) | dve_system_t | [protected] |
initial_values | dve_system_t | [protected] |
initial_values_counts | dve_system_t | [protected] |
is_accepting(state_t state, size_int_t acc_group=0, size_int_t pair_member=1) | dve_explicit_system_t | [inline, virtual] |
is_accepting(state_t state, size_int_t process_id) | dve_explicit_system_t | [inline] |
is_commited(state_t state) | dve_explicit_system_t | [inline, protected] |
is_erroneous(state_t state) | dve_explicit_system_t | [inline, virtual] |
is_property_weak() const | dve_system_t | [inline, virtual] |
MAX_INIT_VALUES_SIZE | dve_system_t | [protected] |
max_succ_count (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
new_enabled_trans() const | dve_explicit_system_t | [virtual] |
not_in_glob_conflict(const dve_transition_t *const t1, const dve_transition_t *const t2) | dve_explicit_system_t | [inline, protected] |
not_in_limits(dve_var_type_t var_type, all_values_t value) | dve_system_t | |
p_enabled_trans (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
parameters | dve_system_t | [protected] |
passed_through(const state_t state, const dve_transition_t *const t, const dve_state_int_t state1, bool &eval_err) | dve_explicit_system_t | [inline, protected] |
pop_front_channel(state_t &state, const size_int_t gid) (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
pproperty | dve_system_t | [protected] |
prepare_channels_info() | dve_explicit_system_t | [inline, protected] |
print_state(state_t state, std::ostream &outs=std::cout) | dve_explicit_system_t | [inline, virtual] |
prob_explicit_system_t(error_vector_t &evect) | prob_explicit_system_t | [inline] |
prob_system_t(error_vector_t &evect=gerr) | prob_system_t | [inline] |
process_count (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
process_field_size | dve_system_t | [protected] |
process_positions (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
processes | dve_system_t | [protected] |
prop_begin (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
prop_gid | dve_system_t | [protected] |
prop_size (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
property_has_synchronization | dve_system_t | [protected] |
property_position (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
property_trans (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
psymbol_table | dve_system_t | [protected] |
push_back_channel(state_t &state, const size_int_t gid) (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
read(std::istream &ins) | dve_prob_explicit_system_t | [inline, virtual] |
read(const char *const filename) | dve_prob_explicit_system_t | [inline, virtual] |
dve_explicit_system_t::read(const char *const filename, bool do_comp) | dve_explicit_system_t | [virtual] |
read_from_channel(const state_t &state, const size_int_t gid, const size_int_t item_index, const size_int_t elem_index=0) (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
dve_explicit_system_t::explicit_system_t::remove_process(const size_int_t process_id)=0 | system_t | [pure virtual] |
dve_system_t::remove_process(const size_int_t process_id) | dve_system_t | [virtual] |
retype(dve_var_type_t type, all_values_t value) (defined in dve_explicit_system_t) | dve_explicit_system_t | [inline, protected] |
dve_explicit_system_t::explicit_system_t::set_property_gid(const size_int_t gid)=0 | system_t | [pure virtual] |
dve_system_t::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_state_creator_value(state_t state, const size_int_t var_gid, const all_values_t v, const size_int_t index=0) | dve_explicit_system_t | [inline, protected] |
set_state_creator_value_extended(const state_t &state, const state_t &new_state, const dve_expression_t &to_assign, const all_values_t &val, bool &error) | dve_explicit_system_t | [protected] |
set_state_creator_value_of_var_type(state_t state, const size_int_t var_gid, const dve_var_type_t var_type, const all_values_t v, const size_int_t index) | dve_explicit_system_t | [protected] |
set_system_synchro(const system_synchronicity_t sync) | dve_system_t | [inline] |
set_var_value(state_t state, const size_int_t var_gid, const all_values_t v, const size_int_t index=0) | dve_explicit_system_t | [inline] |
set_with_property(const bool is_with) | system_t | [inline] |
space_sum (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
state_count (defined in dve_system_t) | dve_system_t | [protected] |
state_creators (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
state_creators_count (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
state_lids (defined in dve_system_t) | dve_system_t | [protected] |
state_positions_channel (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
state_positions_proc (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
state_positions_state (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
state_positions_var (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
state_sizes_var (defined in dve_explicit_system_t) | dve_explicit_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] |
dve_explicit_system_t::explicit_system_t::to_string()=0 | system_t | [pure virtual] |
dve_system_t::to_string() | dve_system_t | [virtual] |
trans_count (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
var_count (defined in dve_system_t) | dve_system_t | [protected] |
var_types | dve_system_t | [protected] |
violated_assertion_count(const state_t state) const | dve_explicit_system_t | [virtual] |
violated_assertion_string(const state_t state, const size_int_t index) const | dve_explicit_system_t | [virtual] |
violates_assertion(const state_t state) const | dve_explicit_system_t | [virtual] |
with_property (defined in system_t) | system_t | [protected] |
dve_explicit_system_t::explicit_system_t::write(const char *const filename)=0 | system_t | [pure virtual] |
dve_explicit_system_t::explicit_system_t::write(std::ostream &outs=std::cout)=0 | system_t | [pure virtual] |
dve_system_t::write(const char *const filename) | dve_system_t | [virtual] |
dve_system_t::write(std::ostream &outs=std::cout) | dve_system_t | [virtual] |
write_to_channel(state_t &state, const size_int_t gid, const size_int_t item_index, const all_values_t value) (defined in dve_explicit_system_t) | dve_explicit_system_t | [protected] |
~dve_explicit_system_t() | dve_explicit_system_t | [virtual] |
~dve_prob_explicit_system_t() | dve_prob_explicit_system_t | [inline, virtual] |
~dve_prob_system_t() (defined in dve_prob_system_t) | dve_prob_system_t | [inline, virtual] |
~dve_system_t() | dve_system_t | [virtual] |
~explicit_system_t() | explicit_system_t | [inline, virtual] |
~prob_system_t() | prob_system_t | [inline, virtual] |
~system_t() | system_t | [inline, virtual] |