mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE > Member List

This is the complete list of members for mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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_and_reset_probabilistic_state(PROBABILISTIC_STATE_T &s)	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
add_probabilistic_state(const PROBABILISTIC_STATE_T &s)	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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_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::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
clear()	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
clear_actions()	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
clear_probabilistic_states()	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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_probabilistic_state() const	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
initial_state() const	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inlineprotected
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::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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
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_probabilistic_state	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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_probabilistic_states	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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_probabilistic_states() const	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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=(const probabilistic_lts &other)=default	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
operator=(probabilistic_lts &&other)=default	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
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 probabilistic_lts &other) const	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >::operator==(const lts &other) const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
probabilistic_lts()	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
probabilistic_lts(const probabilistic_lts &other)=default	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
probabilistic_lts(probabilistic_lts &&other)=default	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
probabilistic_state(const states_size_type index) const	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
probabilistic_state_t typedef	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
record_hidden_actions(const std::vector< std::string > &tau_actions)	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_probabilistic_state(const PROBABILISTIC_STATE_T &state)	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
set_initial_state(const states_size_type s)	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inlineprotected
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_probabilistic_state(const states_size_type index, const PROBABILISTIC_STATE_T &s)	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_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
super typedef	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >
swap(probabilistic_lts &other)	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >	inline
lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >::swap(lts &l)	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
tau_label_index() const	mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >	inline
transitions_size_type typedef	mcrl2::lts::probabilistic_lts< STATE_LABEL_T, ACTION_LABEL_T, PROBABILISTIC_STATE_T, LTS_BASE >