mcrl2::lts::detail::check_complexity::state_counter_t Member List

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

add_work(enum counter_type const ctr, unsigned const max_value)	mcrl2::lts::detail::check_complexity::counter_t< STATE_MIN, STATE_MAX, STATE_MIN_TEMP,(enum counter_type)(STATE_MAX_TEMP+1)>	inline
cancel_work(enum counter_type const ctr)	mcrl2::lts::detail::check_complexity::counter_t< STATE_MIN, STATE_MAX, STATE_MIN_TEMP,(enum counter_type)(STATE_MAX_TEMP+1)>	inline
counter_t()	mcrl2::lts::detail::check_complexity::counter_t< STATE_MIN, STATE_MAX, STATE_MIN_TEMP,(enum counter_type)(STATE_MAX_TEMP+1)>	inline
counters	mcrl2::lts::detail::check_complexity::counter_t< STATE_MIN, STATE_MAX, STATE_MIN_TEMP,(enum counter_type)(STATE_MAX_TEMP+1)>
finalise_work(enum counter_type const from, enum counter_type const to, unsigned const max_value)	mcrl2::lts::detail::check_complexity::counter_t< STATE_MIN, STATE_MAX, STATE_MIN_TEMP,(enum counter_type)(STATE_MAX_TEMP+1)>	inline
move_work(enum counter_type const from, enum counter_type const to, unsigned const max_value)	mcrl2::lts::detail::check_complexity::counter_t< STATE_MIN, STATE_MAX, STATE_MIN_TEMP,(enum counter_type)(STATE_MAX_TEMP+1)>	inline
no_temporary_work(unsigned const max_B, bool const bottom)	mcrl2::lts::detail::check_complexity::state_counter_t	inline