system_t Member List

This is the complete list of members for 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_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)=0system_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)=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_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]
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]
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]
~system_t()system_t [inline, virtual]


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