mcrl2::lts::detail::check_complexity::trans_counter_t Member List

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

add_work(enum counter_type const ctr, unsigned const max_value)	mcrl2::lts::detail::check_complexity::counter_t< TRANS_MIN, TRANS_MAX, TRANS_MIN_TEMP,(enum counter_type)(TRANS_MAX_TEMP+1)>	inline
add_work_notemporary(enum counter_type const ctr, unsigned const max_value)	mcrl2::lts::detail::check_complexity::trans_counter_t	inline
cancel_work(enum counter_type const ctr)	mcrl2::lts::detail::check_complexity::counter_t< TRANS_MIN, TRANS_MAX, TRANS_MIN_TEMP,(enum counter_type)(TRANS_MAX_TEMP+1)>	inline
counter_t()	mcrl2::lts::detail::check_complexity::counter_t< TRANS_MIN, TRANS_MAX, TRANS_MIN_TEMP,(enum counter_type)(TRANS_MAX_TEMP+1)>	inline
counters	mcrl2::lts::detail::check_complexity::counter_t< TRANS_MIN, TRANS_MAX, TRANS_MIN_TEMP,(enum counter_type)(TRANS_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< TRANS_MIN, TRANS_MAX, TRANS_MIN_TEMP,(enum counter_type)(TRANS_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< TRANS_MIN, TRANS_MAX, TRANS_MIN_TEMP,(enum counter_type)(TRANS_MAX_TEMP+1)>	inline
no_temporary_work(unsigned const max_sourceB, unsigned const max_targetC, unsigned const max_targetB, bool const source_bottom)	mcrl2::lts::detail::check_complexity::trans_counter_t	inline