dve_prob_process_t Member List

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

add_assertion(size_int_t state_lid, dve_expression_t *const assert_expr)dve_process_t
add_prob_transition(prob_transition_t *const prob_trans)dve_prob_process_t [virtual]
add_state(const size_int_t state_gid)dve_process_t
prob_process_t::add_transition(transition_t *const transition)=0process_t [pure virtual]
dve_process_t::add_transition(transition_t *const transition)dve_process_t [virtual]
add_variable(const size_int_t var_gid)dve_process_t
can_be_modified() const process_t
can_read() const process_t
can_transitions() const process_t
dve_prob_process_t()dve_prob_process_t [inline]
dve_prob_process_t(prob_system_t *const system)dve_prob_process_t [inline]
dve_process_t()dve_process_t
dve_process_t(system_t *const system)dve_process_t
from_string(std::string &proc_str)dve_prob_process_t [virtual]
get_acceptance(size_int_t lid, size_int_t group=0, size_int_t pair_member=1) const dve_process_t [inline]
get_accepting_group_count() const dve_process_t [inline]
get_accepting_type() const dve_process_t [inline]
get_assertion(const size_int_t state_lid, const size_int_t index)dve_process_t [inline]
get_assertion(const size_int_t state_lid, const size_int_t index) const dve_process_t [inline]
get_assertion_count(const size_int_t state_lid) const dve_process_t [inline]
get_commited(size_int_t lid) const dve_process_t [inline]
get_error_vector()process_t [inline, protected, static]
get_gid() const process_t [inline]
get_initial_state() const dve_process_t [inline]
get_parent_prob_system() const prob_process_t [inline]
get_parent_system() const process_t [inline]
get_prob_trans_count() const dve_prob_process_t [inline, virtual]
get_prob_transition(const size_int_t prob_trans_lid)dve_prob_process_t [virtual]
get_prob_transition(const size_int_t prob_trans_lid) const dve_prob_process_t [virtual]
get_state_count() const dve_process_t [inline]
get_state_gid(size_int_t lid) const dve_process_t [inline]
get_symbol_table() const dve_process_t
prob_process_t::get_trans_count() const =0process_t [pure virtual]
dve_process_t::get_trans_count() const dve_process_t [inline, virtual]
dve_process_t::get_trans_count(const sync_mode_t sync_mode) const dve_process_t [inline]
prob_process_t::get_transition(const size_int_t lid)=0process_t [pure virtual]
prob_process_t::get_transition(const size_int_t lid) const =0process_t [pure virtual]
dve_process_t::get_transition(const size_int_t lid)dve_process_t [inline, virtual]
dve_process_t::get_transition(const size_int_t lid) const dve_process_t [inline, virtual]
dve_process_t::get_transition(const sync_mode_t sync_mode, const size_int_t trans_nbr)dve_process_t [inline]
dve_process_t::get_transition(const sync_mode_t sync_mode, const size_int_t trans_nbr) const dve_process_t [inline]
get_valid() const dve_process_t [inline]
get_variable_count() const dve_process_t [inline]
get_variable_gid(size_int_t lid) const dve_process_t [inline]
gidprocess_t [protected]
parent_prob_systemprob_process_t [protected]
parent_systemprocess_t [protected]
pproc_terrprocess_t [protected, static]
prob_process_t()prob_process_t [inline]
prob_process_t(prob_system_t *const prob_system)prob_process_t [inline]
process_t()process_t [inline]
process_t(system_t *const system)process_t [inline]
read(std::istream &istr)dve_prob_process_t [virtual]
read_using_given_parser(std::istream &istr, dve_parser_t &parser) (defined in dve_process_t)dve_process_t [protected]
remove_prob_transition(const size_int_t transition_index)dve_prob_process_t [virtual]
prob_process_t::remove_transition(const size_int_t transition_gid)=0process_t [pure virtual]
dve_process_t::remove_transition(const size_int_t transition_lid)dve_process_t [inline, virtual]
set_acceptance(size_int_t lid, bool is_accepting, size_int_t group=0, size_int_t pair_member=1)dve_process_t [inline]
set_acceptance_type_and_groups(property_type_t prop_type, size_int_t groups_count)dve_process_t [inline]
set_commited(size_int_t lid, bool is_commited)dve_process_t [inline]
set_error_vector(error_vector_t &evect)process_t [inline, protected, static]
set_gid(const size_int_t new_gid)process_t [inline, virtual]
set_initial_state(const size_int_t state_lid)dve_process_t [inline]
set_parent_prob_system(prob_system_t &system)prob_process_t [inline, virtual]
set_parent_system(system_t &system)process_t [inline, virtual]
set_valid(const bool is_valid)dve_process_t [inline]
to_string() const dve_prob_process_t [virtual]
write(std::ostream &ostr) const dve_prob_process_t [virtual]
write_declarations(std::ostream &ostr) const (defined in dve_process_t)dve_process_t [protected]
~dve_prob_process_t()dve_prob_process_t [virtual]
~dve_process_t()dve_process_t [virtual]
~prob_process_t()prob_process_t [inline, virtual]
~process_t()process_t [inline, virtual]


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