explicit_system_t Member List

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

abilities (defined in system_t)system_t [protected]
add_process(process_t *const process)=0system_t [pure virtual]
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 =0explicit_system_t [pure virtual]
explicit_system_t(error_vector_t &evect)explicit_system_t [inline]
from_string(const std::string str)=0system_t [pure 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)=0explicit_system_t [pure virtual]
get_enabled_trans(const state_t state, enabled_trans_container_t &enb_trans)=0explicit_system_t [pure virtual]
get_enabled_trans_count(const state_t state, size_int_t &count)=0explicit_system_t [pure virtual]
get_enabled_trans_succ(const state_t state, const enabled_trans_t &enabled, state_t &new_state)=0explicit_system_t [pure virtual]
get_enabled_trans_succs(const state_t state, succ_container_t &succs, const enabled_trans_container_t &enabled_trans)=0explicit_system_t [pure virtual]
get_error_vector()system_t [inline]
get_error_vector() const system_t [inline]
get_initial_state()=0explicit_system_t [pure virtual]
get_ith_succ(state_t state, const int i, state_t &succ)=0explicit_system_t [pure virtual]
get_preallocation_count() const =0explicit_system_t [pure virtual]
get_process(const size_int_t gid)=0system_t [pure virtual]
get_process(const size_int_t gid) const =0system_t [pure virtual]
get_process_count() const =0system_t [pure virtual]
get_property_decomposition()system_t [inline, virtual]
get_property_gid() const =0system_t [pure virtual]
get_property_process()=0system_t [pure virtual]
get_property_process() const =0system_t [pure virtual]
get_property_type()=0system_t [pure virtual]
get_succs(state_t state, succ_container_t &succs)=0explicit_system_t [pure virtual]
get_succs(state_t state, succ_container_t &succs, enabled_trans_container_t &etc)=0explicit_system_t [pure virtual]
get_trans_count() const =0system_t [pure virtual]
get_transition(size_int_t gid)=0system_t [pure virtual]
get_transition(size_int_t gid) const =0system_t [pure 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)=0explicit_system_t [pure virtual]
is_erroneous(state_t state)=0explicit_system_t [pure virtual]
new_enabled_trans() const =0explicit_system_t [pure virtual]
print_state(state_t state, std::ostream &outs=std::cout)=0explicit_system_t [pure virtual]
read(std::istream &ins=std::cin)=0system_t [pure virtual]
read(const char *const filename)=0system_t [pure virtual]
remove_process(const size_int_t process_id)=0system_t [pure virtual]
set_property_gid(const size_int_t gid)=0system_t [pure 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]
to_string()=0system_t [pure virtual]
violated_assertion_count(const state_t state) const =0explicit_system_t [pure virtual]
violated_assertion_string(const state_t state, const size_int_t index) const =0explicit_system_t [pure virtual]
violates_assertion(const state_t state) const =0explicit_system_t [pure virtual]
with_property (defined in system_t)system_t [protected]
write(const char *const filename)=0system_t [pure virtual]
write(std::ostream &outs=std::cout)=0system_t [pure 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