mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::check_complexity Member List

This is the complete list of members for mcrl2::lts::detail::check_complexity, including all inherited members.

adapt_transitions_for_new_block enum valuemcrl2::lts::detail::check_complexity
B_TO_C_MAX enum valuemcrl2::lts::detail::check_complexity
B_TO_C_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
B_TO_C_MIN enum valuemcrl2::lts::detail::check_complexity
B_TO_C_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
BLC_gj_MAX enum valuemcrl2::lts::detail::check_complexity
BLC_gj_MIN enum valuemcrl2::lts::detail::check_complexity
BLOCK_BUNCH_dnj_MAX enum valuemcrl2::lts::detail::check_complexity
BLOCK_BUNCH_dnj_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
BLOCK_BUNCH_dnj_MIN enum valuemcrl2::lts::detail::check_complexity
BLOCK_BUNCH_dnj_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
BLOCK_dnj_MAX enum valuemcrl2::lts::detail::check_complexity
BLOCK_dnj_MIN enum valuemcrl2::lts::detail::check_complexity
BLOCK_gj_MAX enum valuemcrl2::lts::detail::check_complexity
BLOCK_gj_MIN enum valuemcrl2::lts::detail::check_complexity
BLOCK_MAX enum valuemcrl2::lts::detail::check_complexity
BLOCK_MIN enum valuemcrl2::lts::detail::check_complexity
BUNCH_dnj_MAX enum valuemcrl2::lts::detail::check_complexity
BUNCH_dnj_MIN enum valuemcrl2::lts::detail::check_complexity
check_temporary_work()mcrl2::lts::detail::check_complexityinlinestatic
counter_type enum namemcrl2::lts::detail::check_complexity
create_initial_partition enum valuemcrl2::lts::detail::check_complexity
create_initial_partition__refine_block enum valuemcrl2::lts::detail::check_complexity
create_initial_partition__set_start_incoming_transitions enum valuemcrl2::lts::detail::check_complexity
for_all_bottom_states_s_in_RfnB_4_8 enum valuemcrl2::lts::detail::check_complexity
for_all_constellations_C_not_in_R_from_RfnB_4_4 enum valuemcrl2::lts::detail::check_complexity
for_all_old_bottom_states_s_in_RedB_4_15 enum valuemcrl2::lts::detail::check_complexity
for_all_old_bottom_states_s_in_RedB_selfloop_4_15 enum valuemcrl2::lts::detail::check_complexity
for_all_refinable_blocks_RfnB_2_20 enum valuemcrl2::lts::detail::check_complexity
for_all_s_in_NewB_3_31 enum valuemcrl2::lts::detail::check_complexity
for_all_s_in_SpB_2_10 enum valuemcrl2::lts::detail::check_complexity
for_all_s_prime_in_pred_s_2_11 enum valuemcrl2::lts::detail::check_complexity
for_all_s_prime_in_pred_s_3_18r enum valuemcrl2::lts::detail::check_complexity
for_all_s_prime_in_pred_s_3_32l enum valuemcrl2::lts::detail::check_complexity
for_all_s_prime_in_pred_s_setminus_Red_3_18l enum valuemcrl2::lts::detail::check_complexity
for_all_s_prime_in_succ_s_3_32r enum valuemcrl2::lts::detail::check_complexity
for_all_transitions_from_bottom_states_a_posteriori_4_4 enum valuemcrl2::lts::detail::check_complexity
for_all_transitions_from_bottom_states_a_priori_4_4 enum valuemcrl2::lts::detail::check_complexity
for_all_transitions_that_need_postproc_a_posteriori_4_12 enum valuemcrl2::lts::detail::check_complexity
for_all_transitions_that_need_postproc_a_priori_4_12 enum valuemcrl2::lts::detail::check_complexity
handle_new_noninert_transns enum valuemcrl2::lts::detail::check_complexity
handle_new_noninert_transns__make_unstable_a_posteriori enum valuemcrl2::lts::detail::check_complexity
handle_new_noninert_transns__make_unstable_a_priori enum valuemcrl2::lts::detail::check_complexity
handle_new_noninert_transns__make_unstable_temp enum valuemcrl2::lts::detail::check_complexity
if___s_prime_has_transition_to_SpC_3_23l enum valuemcrl2::lts::detail::check_complexity
ilog2(state_type size)mcrl2::lts::detail::check_complexityinlinestatic
init(state_type n)mcrl2::lts::detail::check_complexityinlinestatic
log_nmcrl2::lts::detail::check_complexitystatic
Move_Blue_or_Red_to_a_new_block_NewB_pointer_3_29 enum valuemcrl2::lts::detail::check_complexity
Move_Blue_or_Red_to_a_new_block_NewB_swap_3_29 enum valuemcrl2::lts::detail::check_complexity
Move_Blue_or_Red_to_a_new_block_states_3_29 enum valuemcrl2::lts::detail::check_complexity
Move_Blue_or_Red_to_a_new_block_succ_3_29 enum valuemcrl2::lts::detail::check_complexity
move_out_slice_to_new_block enum valuemcrl2::lts::detail::check_complexity
multiple_swap_states_in_block__swap_state_in_small_block enum valuemcrl2::lts::detail::check_complexity
order_BLC_transitions__sort_transition enum valuemcrl2::lts::detail::check_complexity
refine_bottom_state_3_6l enum valuemcrl2::lts::detail::check_complexity
refine_incoming_transition_3_18 enum valuemcrl2::lts::detail::check_complexity
refine_outgoing_transition_3_6_or_23l enum valuemcrl2::lts::detail::check_complexity
refine_outgoing_transition_from_new_bottom_3_23l enum valuemcrl2::lts::detail::check_complexity
refine_outgoing_transition_postprocess_new_bottom_3_6l enum valuemcrl2::lts::detail::check_complexity
refine_outgoing_transition_to_marked_state_3_6l enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_it_becomes_stable__correct_end_of_calM enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_it_becomes_stable__execute_main_split enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_it_becomes_stable__find_cotransition enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_it_becomes_stable__find_splitter enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_it_becomes_stable__prepare_cosplit enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_stable__find_pred enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_stable__stabilize enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_stable__stabilize_for_large_splitter enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_stable__stabilize_new_noninert_a_posteriori enum valuemcrl2::lts::detail::check_complexity
refine_partition_until_stable__stabilize_new_noninert_a_priori enum valuemcrl2::lts::detail::check_complexity
refine_visited_state_3_15 enum valuemcrl2::lts::detail::check_complexity
Register_that_inert_transitions_from_s_go_to_NewC_B_to_C_2_17 enum valuemcrl2::lts::detail::check_complexity
Register_that_inert_transitions_from_s_go_to_NewC_succ_2_17 enum valuemcrl2::lts::detail::check_complexity
Register_that_inert_transitions_from_s_go_to_NewC_swap_2_17 enum valuemcrl2::lts::detail::check_complexity
sensible_workmcrl2::lts::detail::check_complexityprivatestatic
simple_splitB__do_not_add_state_with_transition_in_splitter_to_U enum valuemcrl2::lts::detail::check_complexity
simple_splitB__find_bottom_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB__find_predecessors_of_R_or_U_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB__handle_transition_from_R_or_U_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB__handle_transition_to_R_or_U_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB__test_outgoing_transitions_found_new_bottom_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB_R__find_predecessors enum valuemcrl2::lts::detail::check_complexity
simple_splitB_R__handle_transition_from_R_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB_R__handle_transition_to_R_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB_U__find_bottom_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB_U__find_predecessors enum valuemcrl2::lts::detail::check_complexity
simple_splitB_U__handle_transition_from_potential_U_state enum valuemcrl2::lts::detail::check_complexity
simple_splitB_U__handle_transition_to_U_state enum valuemcrl2::lts::detail::check_complexity
split__find_predecessors_of_R_or_U_state enum valuemcrl2::lts::detail::check_complexity
split__handle_transition_from_R_or_U_state enum valuemcrl2::lts::detail::check_complexity
split__handle_transition_to_R_or_U_state enum valuemcrl2::lts::detail::check_complexity
split__test_noninert_transitions_found_new_bottom_state enum valuemcrl2::lts::detail::check_complexity
split_block_B_into_R_and_BminR__carry_out_split enum valuemcrl2::lts::detail::check_complexity
split_block_B_into_R_and_BminR__skip_over_state enum valuemcrl2::lts::detail::check_complexity
split_off_block enum valuemcrl2::lts::detail::check_complexity
split_R__find_predecessors_of_R_state enum valuemcrl2::lts::detail::check_complexity
split_R__handle_transition_from_R_state enum valuemcrl2::lts::detail::check_complexity
split_R__handle_transition_to_R_state enum valuemcrl2::lts::detail::check_complexity
split_U__find_predecessors_of_U_state enum valuemcrl2::lts::detail::check_complexity
split_U__handle_transition_to_U_state enum valuemcrl2::lts::detail::check_complexity
split_U__test_noninert_transitions enum valuemcrl2::lts::detail::check_complexity
splitB__unmark_transitions_out_of_new_bottom_block enum valuemcrl2::lts::detail::check_complexity
splitB__unmark_transitions_out_of_new_bottom_block_afterwards enum valuemcrl2::lts::detail::check_complexity
splitB__update_BLC_of_smaller_subblock enum valuemcrl2::lts::detail::check_complexity
stabilizeB__distribute_states_over_Phat enum valuemcrl2::lts::detail::check_complexity
stabilizeB__initialize_Qhat enum valuemcrl2::lts::detail::check_complexity
stabilizeB__initialize_Qhat_afterwards enum valuemcrl2::lts::detail::check_complexity
stabilizeB__main_loop enum valuemcrl2::lts::detail::check_complexity
stabilizeB__main_loop_afterwards enum valuemcrl2::lts::detail::check_complexity
stabilizeB__prepare_block enum valuemcrl2::lts::detail::check_complexity
STATE_dnj_MAX enum valuemcrl2::lts::detail::check_complexity
STATE_dnj_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
STATE_dnj_MIN enum valuemcrl2::lts::detail::check_complexity
STATE_dnj_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
STATE_gj_MAX enum valuemcrl2::lts::detail::check_complexity
STATE_gj_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
STATE_gj_MIN enum valuemcrl2::lts::detail::check_complexity
STATE_gj_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
STATE_MAX enum valuemcrl2::lts::detail::check_complexity
STATE_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
STATE_MIN enum valuemcrl2::lts::detail::check_complexity
STATE_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
TRANS_dnj_MAX enum valuemcrl2::lts::detail::check_complexity
TRANS_dnj_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
TRANS_dnj_MIN enum valuemcrl2::lts::detail::check_complexity
TRANS_dnj_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
TRANS_gj_MAX enum valuemcrl2::lts::detail::check_complexity
TRANS_gj_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
TRANS_gj_MIN enum valuemcrl2::lts::detail::check_complexity
TRANS_gj_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
TRANS_MAX enum valuemcrl2::lts::detail::check_complexity
TRANS_MAX_TEMP enum valuemcrl2::lts::detail::check_complexity
TRANS_MIN enum valuemcrl2::lts::detail::check_complexity
TRANS_MIN_TEMP enum valuemcrl2::lts::detail::check_complexity
while_Blue_contains_unvisited_states_3_15l enum valuemcrl2::lts::detail::check_complexity
while_C_contains_a_nontrivial_constellation_2_4 enum valuemcrl2::lts::detail::check_complexity
while_FromRed_is_not_empty_3_6r enum valuemcrl2::lts::detail::check_complexity
while_Red_contains_unvisited_states_3_15r enum valuemcrl2::lts::detail::check_complexity
while_Test_is_not_empty_3_6l_s_is_blue_3_11l enum valuemcrl2::lts::detail::check_complexity
while_Test_is_not_empty_3_6l_s_is_red_3_9l enum valuemcrl2::lts::detail::check_complexity
while_Test_is_not_empty_3_6l_s_is_red_3_9l_postprocessing enum valuemcrl2::lts::detail::check_complexity
work_namesmcrl2::lts::detail::check_complexitystatic