This is the complete list of members for mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >, including all inherited members.

action_label(const labels_size_type action) const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
action_label_t typedef	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
action_labels() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
add_action(const ACTION_LABEL_T &label)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
add_state(const STATE_LABEL_T &label=STATE_LABEL_T())	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
add_state_number_as_state_information()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
add_transition(const transition &t)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
apply_hidden_actions(const std::vector< std::string > &tau_actions)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
apply_hidden_label_map(const labels_size_type action) const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
base_t typedef	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
clear()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
clear_actions()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
clear_state_labels()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
clear_transitions(const std::size_t n=0)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
get_transitions() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
get_transitions()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
has_action_info() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
has_state_info() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
hidden_label_set() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
hidden_label_set()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
initial_state() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
is_probabilistic(const states_size_type state) const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
is_probabilistic_lts	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	static
is_tau(labels_size_type action) const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
labels_size_type typedef	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
lts()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
lts(const lts &l)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
lts(lts &&)=default	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
m_action_labels	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	protected
m_hidden_label_set	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	protected
m_init_state	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	protected
m_nstates	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	protected
m_state_labels	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	protected
m_transitions	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	protected
num_action_labels() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
num_state_labels() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
num_states() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
num_transitions() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
operator=(lts &&)=default	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
operator=(const lts &l)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
operator==(const lts &other) const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
mcrl2::lts::lts_default_base::operator==(const lts_default_base &) const	mcrl2::lts::lts_default_base	inline
record_hidden_actions(const std::vector< std::string > &tau_actions)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
rename_hidden_labels_to_tau()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
rename_labels(const std::map< labels_size_type, labels_size_type > &action_rename_map)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inlineprotected
set_action_label(const labels_size_type action, const ACTION_LABEL_T &label)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
set_hidden_label_set(const std::set< labels_size_type > &m)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
set_initial_state(const states_size_type state)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
set_num_action_labels(const labels_size_type n)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
set_num_states(const states_size_type n, const bool has_state_labels=true)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
set_num_transitions(const std::size_t n)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
set_state_label(const states_size_type state, const STATE_LABEL_T &label)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
state_label(const states_size_type state) const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
state_label_t typedef	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
state_labels()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
state_labels() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
states_size_type typedef	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
store_action_label_to_be_renamed(const ACTION_LABEL_T &a, const labels_size_type i, std::map< labels_size_type, labels_size_type > &action_rename_map)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inlineprotected
swap(lts &l) noexcept	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
mcrl2::lts::lts_default_base::swap(lts_default_base &) noexcept	mcrl2::lts::lts_default_base	inline
tau_label_index() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
transitions_size_type typedef	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >
type()	mcrl2::lts::lts_default_base	inline