bymoc_explicit_system_t Member List

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

abilities (defined in system_t)system_t [protected]
explicit_system_t::add_process(process_t *const process)=0system_t [pure virtual]
bymoc_system_t::add_process(process_t *const process)bymoc_system_t [virtual]
bymoc_explicit_system_t(error_vector_t &evect)bymoc_explicit_system_t
bymoc_system_t(error_vector_t &evect=gerr)bymoc_system_t
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]
copy_private_part(const system_t &second) (defined in system_t)system_t [inline, protected]
ERR_FILE_NOT_OPEN (defined in system_t)system_t [static]
ERR_TYPE_SYSTEM (defined in system_t)system_t [static]
eval_expr(const expression_t *const expr, const state_t state, data_t &data) const bymoc_explicit_system_t [virtual]
explicit_system_t(error_vector_t &evect)explicit_system_t [inline]
explicit_system_t::from_string(const std::string str)=0system_t [pure virtual]
bymoc_system_t::from_string(const std::string str)bymoc_system_t [virtual]
get_abilities()system_t [inline]
get_abilities() const system_t [inline]
get_enabled_ith_trans(const state_t state, const size_int_t i, enabled_trans_t &enb_trans)bymoc_explicit_system_t [virtual]
get_enabled_trans(const state_t state, enabled_trans_container_t &enb_trans)bymoc_explicit_system_t [virtual]
get_enabled_trans_count(const state_t state, size_int_t &count)bymoc_explicit_system_t [virtual]
get_enabled_trans_succ(const state_t state, const enabled_trans_t &enabled, state_t &new_state)bymoc_explicit_system_t [virtual]
get_enabled_trans_succs(const state_t state, succ_container_t &succs, const enabled_trans_container_t &enabled_trans)bymoc_explicit_system_t [virtual]
get_error_vector()system_t [inline]
get_error_vector() const system_t [inline]
get_initial_state()bymoc_explicit_system_t [virtual]
get_ith_succ(state_t state, const int i, state_t &succ)bymoc_explicit_system_t [virtual]
get_preallocation_count() const bymoc_explicit_system_t [virtual]
explicit_system_t::get_process(const size_int_t gid)=0system_t [pure virtual]
explicit_system_t::get_process(const size_int_t gid) const =0system_t [pure virtual]
bymoc_system_t::get_process(const size_int_t gid)bymoc_system_t [virtual]
bymoc_system_t::get_process(const size_int_t id) const bymoc_system_t [virtual]
explicit_system_t::get_process_count() const =0system_t [pure virtual]
bymoc_system_t::get_process_count() const bymoc_system_t [virtual]
get_property_decomposition()bymoc_explicit_system_t [virtual]
explicit_system_t::get_property_gid() const =0system_t [pure virtual]
bymoc_system_t::get_property_gid() const bymoc_system_t [virtual]
explicit_system_t::get_property_process()=0system_t [pure virtual]
explicit_system_t::get_property_process() const =0system_t [pure virtual]
bymoc_system_t::get_property_process()bymoc_system_t [virtual]
bymoc_system_t::get_property_process() const bymoc_system_t [virtual]
get_property_type()bymoc_explicit_system_t [virtual]
get_succs(state_t state, succ_container_t &succs)bymoc_explicit_system_t [virtual]
get_succs(state_t state, succ_container_t &succs, enabled_trans_container_t &etc)bymoc_explicit_system_t [virtual]
explicit_system_t::get_trans_count() const =0system_t [pure virtual]
bymoc_system_t::get_trans_count() const bymoc_system_t [virtual]
explicit_system_t::get_transition(size_int_t gid)=0system_t [pure virtual]
explicit_system_t::get_transition(size_int_t gid) const =0system_t [pure virtual]
bymoc_system_t::get_transition(size_int_t gid)bymoc_system_t [virtual]
bymoc_system_t::get_transition(size_int_t gid) const bymoc_system_t [virtual]
get_with_property() const system_t [inline]
is_accepting(state_t state, size_int_t acc_group=0, size_int_t pair_member=1)bymoc_explicit_system_t [virtual]
is_erroneous(state_t state)bymoc_explicit_system_t [virtual]
new_enabled_trans() const bymoc_explicit_system_t [virtual]
nipsvm (defined in bymoc_system_t)bymoc_system_t [protected]
print_state(state_t state, std::ostream &outs=std::cout)bymoc_explicit_system_t [virtual]
explicit_system_t::read(std::istream &ins=std::cin)=0system_t [pure virtual]
explicit_system_t::read(const char *const filename)=0system_t [pure virtual]
bymoc_system_t::read(std::istream &ins=std::cin)bymoc_system_t [virtual]
bymoc_system_t::read(const char *const filename)bymoc_system_t [virtual]
explicit_system_t::remove_process(const size_int_t process_id)=0system_t [pure virtual]
bymoc_system_t::remove_process(const size_int_t process_id)bymoc_system_t [virtual]
explicit_system_t::set_property_gid(const size_int_t gid)=0system_t [pure virtual]
bymoc_system_t::set_property_gid(const size_int_t gid)bymoc_system_t [virtual]
set_with_property(const bool is_with)system_t [inline]
system_t(error_vector_t &evect=gerr)system_t [inline]
terr (defined in system_t)system_t [protected]
explicit_system_t::to_string()=0system_t [pure virtual]
bymoc_system_t::to_string()bymoc_system_t [virtual]
violated_assertion_count(const state_t state) const bymoc_explicit_system_t [inline, virtual]
violated_assertion_string(const state_t state, const size_int_t index) const bymoc_explicit_system_t [inline, virtual]
violates_assertion(const state_t state) const bymoc_explicit_system_t [inline, virtual]
with_property (defined in system_t)system_t [protected]
explicit_system_t::write(const char *const filename)=0system_t [pure virtual]
explicit_system_t::write(std::ostream &outs=std::cout)=0system_t [pure virtual]
bymoc_system_t::write(const char *const filename)bymoc_system_t [virtual]
bymoc_system_t::write(std::ostream &outs=std::cout)bymoc_system_t [virtual]
~bymoc_explicit_system_t()bymoc_explicit_system_t [virtual]
~bymoc_system_t()bymoc_system_t [virtual]
~explicit_system_t()explicit_system_t [inline, virtual]
~system_t()system_t [inline, virtual]


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