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_processes() const | system_t | [inline] |
can_property_process() const | 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] |
from_string(const std::string str)=0 | system_t | [pure virtual] |
get_abilities() | system_t | [inline] |
get_abilities() const | system_t | [inline] |
get_error_vector() | system_t | [inline] |
get_error_vector() const | system_t | [inline] |
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_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] |
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] |
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] |
~system_t() | system_t | [inline, virtual] |