mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::probabilistic_lts_aut_t Member List

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

action_label(const labels_size_type action) constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
action_label_t typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
action_labels() constmcrl2::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(mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &s)mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
add_probabilistic_state(const mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &s)mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_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) constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
base_t typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
clear()mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_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_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_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() constmcrl2::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() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
has_state_info() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
hidden_label_set() constmcrl2::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() constmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
initial_state() constmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inlineprotected
is_probabilistic(const states_size_type state) constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
is_probabilistic_ltsmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >static
is_tau(labels_size_type action) constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
labels_size_type typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
load(const std::string &filename)mcrl2::lts::probabilistic_lts_aut_t
load(std::istream &is)mcrl2::lts::probabilistic_lts_aut_t
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_labelsmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >protected
m_hidden_label_setmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >protected
m_init_probabilistic_statemcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >protected
m_init_statemcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >protected
m_nstatesmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >protected
m_probabilistic_statesmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >protected
m_state_labelsmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >protected
m_transitionsmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >protected
num_action_labels() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
num_probabilistic_states() constmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
num_state_labels() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
num_states() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
num_transitions() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
operator=(const probabilistic_lts &other)=defaultmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
operator=(probabilistic_lts &&other)=defaultmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
mcrl2::lts::lts::operator=(const lts &l)mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
operator==(const probabilistic_lts &other) constmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
mcrl2::lts::lts::operator==(const lts &other) constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
mcrl2::lts::lts_default_base::operator==(const lts_default_base &) constmcrl2::lts::lts_default_baseinline
probabilistic_lts()mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
probabilistic_lts(const probabilistic_lts &other)=defaultmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
probabilistic_lts(probabilistic_lts &&other)=defaultmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
probabilistic_state(const states_size_type index) constmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
probabilistic_state_t typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_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
save(const std::string &filename) constmcrl2::lts::probabilistic_lts_aut_t
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 mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &state)mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
set_initial_state(const states_size_type s)mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inlineprotected
mcrl2::lts::lts::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_probabilistic_state(const states_size_type index, const mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &s)mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_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) constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
state_label_t typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
state_labels()mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
state_labels() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
states_size_type typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_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 typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
swap(probabilistic_lts &other)mcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >inline
mcrl2::lts::lts::swap(lts &l)mcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
mcrl2::lts::lts_default_base::swap(lts_default_base &)mcrl2::lts::lts_default_baseinline
tau_label_index() constmcrl2::lts::lts< STATE_LABEL_T, ACTION_LABEL_T, LTS_BASE >inline
transitions_size_type typedefmcrl2::lts::probabilistic_lts< state_label_empty, action_label_string, mcrl2::lts::probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_aut_base >
type()mcrl2::lts::lts_default_baseinline