process_decomposition_t Member List

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

get_process_scc_id(state_t &)=0process_decomposition_t [pure virtual]
get_process_scc_type(state_t &)=0process_decomposition_t [pure virtual]
get_scc_count()=0process_decomposition_t [pure virtual]
get_scc_type(int)=0process_decomposition_t [pure virtual]
get_scc_type_for_gid(int)=0 (defined in process_decomposition_t)process_decomposition_t [pure virtual]
is_weak()=0process_decomposition_t [pure virtual]
parse_process(std::size_t)=0process_decomposition_t [pure virtual]
~process_decomposition_t() (defined in process_decomposition_t)process_decomposition_t [inline, virtual]


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