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