mcrl2::lts::detail::bisim_dnj::part_trans_t Member List

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

action_block	mcrl2::lts::detail::bisim_dnj::part_trans_t
action_block_inert_begin	mcrl2::lts::detail::bisim_dnj::part_trans_t
action_block_orig_inert_begin	mcrl2::lts::detail::bisim_dnj::part_trans_t
adapt_transitions_for_new_block(block_t *const new_block, block_t *const old_block, ONLY_IF_DEBUG(const bisim_partitioner_dnj< LTS_TYPE > &partitioner,) bool const add_new_noninert_to_splitter, const block_bunch_slice_iter_t splitter_T, enum new_block_mode_t const new_block_mode)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
block_bunch	mcrl2::lts::detail::bisim_dnj::part_trans_t
block_bunch_inert_begin	mcrl2::lts::detail::bisim_dnj::part_trans_t
first_move_transition_to_new_action_block(pred_entry *const pred_iter)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inlineprivate
first_move_transition_to_new_bunch(action_block_entry *const action_block_iter, bunch_t *const bunch_T_a_Bprime, bool const first_transition_of_state)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
first_nontrivial	mcrl2::lts::detail::bisim_dnj::part_trans_t	private
get_some_nontrivial()	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
make_noninert(pred_entry *const old_pred_pos, block_bunch_slice_iter_or_null_t *const new_noninert_block_bunch_ptr)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inlineprivate
make_nontrivial(bunch_t *const bunch)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
make_trivial(bunch_t *const bunch)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
move_out_slice_to_new_block(succ_entry *out_slice_end, ONLY_IF_DEBUG(const bisim_partitioner_dnj< LTS_TYPE > &partitioner,) block_t *const old_block, block_bunch_slice_const_iter_t const splitter_T)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inlineprivate
nr_of_action_block_slices	mcrl2::lts::detail::bisim_dnj::part_trans_t
nr_of_block_bunch_slices	mcrl2::lts::detail::bisim_dnj::part_trans_t
nr_of_bunches	mcrl2::lts::detail::bisim_dnj::part_trans_t
nr_of_new_bottom_states	mcrl2::lts::detail::bisim_dnj::part_trans_t
nr_of_nontrivial_bunches	mcrl2::lts::detail::bisim_dnj::part_trans_t
part_trans_t(trans_type num_transitions, trans_type num_actions)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
pred	mcrl2::lts::detail::bisim_dnj::part_trans_t
print_trans(const bisim_partitioner_dnj< LTS_TYPE > &partitioner) const	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
second_move_transition_to_new_action_block(pred_entry *const pred_iter)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inlineprivate
second_move_transition_to_new_bunch(action_block_entry *const action_block_iter, ONLY_IF_DEBUG(const bisim_partitioner_dnj< LTS_TYPE > &partitioner, bunch_t *const bunch_T_a_Bprime,) bunch_t *const large_splitter_bunch)	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline
splitter_list	mcrl2::lts::detail::bisim_dnj::part_trans_t
succ	mcrl2::lts::detail::bisim_dnj::part_trans_t
~part_trans_t()	mcrl2::lts::detail::bisim_dnj::part_trans_t	inline