dve_transition_t Member List

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

add_effect(dve_expression_t *const effect)dve_transition_t [inline]
alloc_glob_mask(const size_int_t count_of_glob_vars)dve_transition_t [inline]
can_be_modified() const transition_t
can_read() const transition_t
channel_gid (defined in dve_transition_t)dve_transition_t [protected]
dve_source_position_t()dve_source_position_t [inline]
dve_source_position_t(const size_int_t fline, const size_int_t fcol, const size_int_t lline, const size_int_t lcol)dve_source_position_t [inline]
dve_transition_t()dve_transition_t [inline]
dve_transition_t(system_t *const system)dve_transition_t [inline]
effects (defined in dve_transition_t)dve_transition_t [protected]
effects_container_t typedef (defined in dve_transition_t)dve_transition_t [protected]
from_string(std::string &trans_str, const size_int_t process_gid=NO_ID)dve_transition_t [virtual]
get_channel_gid() const dve_transition_t [inline]
get_effect(size_int_t eff_nbr) const dve_transition_t [inline]
get_effect_count() const dve_transition_t [inline]
get_effect_expr_string(size_int_t i, std::string &str) const dve_transition_t
get_error_vector()transition_t [inline, protected, static]
get_gid() const transition_t [inline]
get_glob_mask() const dve_transition_t [inline]
get_guard()dve_transition_t [inline]
get_guard() const dve_transition_t [inline]
get_guard_string(std::string &str) const dve_transition_t
get_lid() const transition_t [inline]
get_parent_system() const transition_t [inline]
get_partial_id() const dve_transition_t [inline]
get_process_gid() const dve_transition_t [inline]
get_source_first_col() const dve_source_position_t [inline]
get_source_first_line() const dve_source_position_t [inline]
get_source_last_col() const dve_source_position_t [inline]
get_source_last_line() const dve_source_position_t [inline]
get_source_pos(size_int_t &fline, size_int_t &fcol, size_int_t &lline, size_int_t &lcol) const dve_source_position_t
get_source_pos(dve_source_position_t &second)dve_source_position_t
get_state1_gid() const dve_transition_t [inline]
get_state1_lid() const dve_transition_t [inline]
get_state1_name() const dve_transition_t
get_state2_gid() const dve_transition_t [inline]
get_state2_lid() const dve_transition_t [inline]
get_state2_name() const dve_transition_t
get_symbol_table() const dve_transition_t
get_sync_channel_name() const dve_transition_t
get_sync_expr_list_item(const size_int_t i)dve_transition_t [inline]
get_sync_expr_list_item(const size_int_t i) const dve_transition_t [inline]
get_sync_expr_list_size() const dve_transition_t [inline]
get_sync_expr_string(std::string &str) const dve_transition_t
get_sync_mode() const dve_transition_t [inline]
get_valid() const dve_transition_t [inline]
glob_mask (defined in dve_transition_t)dve_transition_t [protected]
global_idtransition_t [protected]
guard (defined in dve_transition_t)dve_transition_t [protected]
is_sync_ask() const dve_transition_t [inline]
is_sync_exclaim() const dve_transition_t [inline]
is_without_sync() const dve_transition_t [inline]
local_idtransition_t [protected]
parent_systemtransition_t [protected]
part_id (defined in dve_transition_t)dve_transition_t [protected]
process_gid (defined in dve_transition_t)dve_transition_t [protected]
ptrans_terrtransition_t [protected, static]
read(std::istream &istr, size_int_t process_gid=NO_ID)dve_transition_t [virtual]
set_channel_gid(const size_int_t gid_of_channel)dve_transition_t [inline]
set_error_vector(error_vector_t &evect)transition_t [inline, protected, static]
set_gid(const size_int_t gid)transition_t [inline, virtual]
set_glob_mark(const size_int_t i, const bool mark)dve_transition_t [inline]
set_guard(dve_expression_t *const guard_expr)dve_transition_t [inline]
set_lid(const size_int_t id)transition_t [inline, virtual]
set_parent_system(system_t &system)transition_t [inline, virtual]
set_partial_id(const size_int_t partial_id)dve_transition_t [inline]
set_process_gid(const size_int_t gid)dve_transition_t [inline]
set_source_pos(const size_int_t fline, const size_int_t fcol, const size_int_t lline, const size_int_t lcol)dve_source_position_t
set_source_pos(const dve_source_position_t &second)dve_source_position_t
set_state1_gid(const size_int_t state_gid)dve_transition_t
set_state2_gid(const size_int_t state_gid)dve_transition_t
set_sync_expr_list_item(const size_int_t i, dve_expression_t *const synchro_expr)dve_transition_t [inline]
set_sync_expr_list_size(const size_int_t size)dve_transition_t [inline]
set_sync_mode(const sync_mode_t synchro_mode)dve_transition_t [inline]
set_valid(const bool valid_value)dve_transition_t [inline]
state1_gid (defined in dve_transition_t)dve_transition_t [protected]
state1_lid (defined in dve_transition_t)dve_transition_t [protected]
state2_gid (defined in dve_transition_t)dve_transition_t [protected]
state2_lid (defined in dve_transition_t)dve_transition_t [protected]
sync_exprs (defined in dve_transition_t)dve_transition_t [protected]
sync_mode (defined in dve_transition_t)dve_transition_t [protected]
to_string() const dve_transition_t [virtual]
transition_t()transition_t [inline]
transition_t(system_t *const system)transition_t [inline]
valid (defined in dve_transition_t)dve_transition_t [protected]
write(std::ostream &ostr) const dve_transition_t [virtual]
~dve_transition_t()dve_transition_t [virtual]
~transition_t()transition_t [inline, virtual]


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