dve_prob_explicit_system_t Member List

This is the complete list of members for dve_prob_explicit_system_t, 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)=0system_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_dotdve_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_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]
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)=0system_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)=0system_t [pure virtual]
dve_explicit_system_t::explicit_system_t::get_process(const size_int_t gid) const =0system_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 =0system_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 =0system_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()=0system_t [pure virtual]
dve_explicit_system_t::explicit_system_t::get_property_process() const =0system_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()=0system_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 =0system_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)=0system_t [pure virtual]
dve_explicit_system_t::explicit_system_t::get_transition(size_int_t gid) const =0system_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_countdve_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_valuesdve_system_t [protected]
initial_values_countsdve_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_SIZEdve_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]
parametersdve_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]
ppropertydve_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_sizedve_system_t [protected]
process_positions (defined in dve_explicit_system_t)dve_explicit_system_t [protected]
processesdve_system_t [protected]
prop_begin (defined in dve_explicit_system_t)dve_explicit_system_t [protected]
prop_giddve_system_t [protected]
prop_size (defined in dve_explicit_system_t)dve_explicit_system_t [protected]
property_has_synchronizationdve_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_tabledve_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)=0system_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)=0system_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()=0system_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_typesdve_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)=0system_t [pure virtual]
dve_explicit_system_t::explicit_system_t::write(std::ostream &outs=std::cout)=0system_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]


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