mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE > Member List

This is the complete list of members for mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >, including all inherited members.

bisim_partitioner_gjkw(LTS_TYPE &l, bool branching=false, bool preserve_divergence=false)mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >inline
create_initial_partition_gjkw(bool branching, bool preserve_divergence)mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >private
get_eq_class(state_type s) constmcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >inline
in_same_class(state_type s, state_type t) constmcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >inline
init_helpermcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >private
num_eq_classes()mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >inlinestatic
part_stmcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >private
part_trmcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >private
postprocess_new_bottom(bisim_gjkw::block_t *RedB)mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >private
refine(bisim_gjkw::block_t *RfnB, const bisim_gjkw::constln_t *SpC, const bisim_gjkw::B_to_C_descriptor *FromRed, bool postprocessing ONLY_IF_DEBUG(, const bisim_gjkw::constln_t *NewC=nullptr))mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >private
refine_partition_until_it_becomes_stable_gjkw()mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >private
replace_transition_system(bool branching, bool preserve_divergence)mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >inline
~bisim_partitioner_gjkw()mcrl2::lts::detail::bisim_partitioner_gjkw< LTS_TYPE >inline