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