abilities (defined in system_t) | system_t | [protected] |
add_process(process_t *const process) | bymoc_system_t | [virtual] |
bymoc_process_decomposition_t (defined in bymoc_system_t) | bymoc_system_t | [friend] |
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_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) | bymoc_system_t | [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) | bymoc_system_t | [virtual] |
get_process(const size_int_t id) const | bymoc_system_t | [virtual] |
get_process_count() const | bymoc_system_t | [virtual] |
get_property_decomposition() | system_t | [inline, virtual] |
get_property_gid() const | bymoc_system_t | [virtual] |
get_property_process() | bymoc_system_t | [virtual] |
get_property_process() const | bymoc_system_t | [virtual] |
get_property_type() | bymoc_system_t | [virtual] |
get_trans_count() const | bymoc_system_t | [virtual] |
get_transition(size_int_t gid) | bymoc_system_t | [virtual] |
get_transition(size_int_t gid) const | bymoc_system_t | [virtual] |
get_with_property() const | system_t | [inline] |
nipsvm (defined in bymoc_system_t) | bymoc_system_t | [protected] |
read(std::istream &ins=std::cin) | bymoc_system_t | [virtual] |
read(const char *const filename) | bymoc_system_t | [virtual] |
remove_process(const size_int_t process_id) | bymoc_system_t | [virtual] |
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] |
to_string() | bymoc_system_t | [virtual] |
with_property (defined in system_t) | system_t | [protected] |
write(const char *const filename) | bymoc_system_t | [virtual] |
write(std::ostream &outs=std::cout) | bymoc_system_t | [virtual] |
~bymoc_system_t() | bymoc_system_t | [virtual] |
~system_t() | system_t | [inline, virtual] |