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

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

action_label(const labels_size_type action) constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
action_label_declarations() constmcrl2::lts::detail::lts_lts_baseinline
action_label_t typedefmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >
action_labels() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
add_action(const action_label_lts &label)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
add_state(const state_label_lts &label=state_label_lts())mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
add_transition(const transition &t)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
apply_hidden_actions(const std::vector< std::string > &tau_actions)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
apply_hidden_label_map(const labels_size_type action) constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
base_t typedefmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >
clear()mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
clear_actions()mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
clear_state_labels()mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
clear_transitions(const std::size_t n=0)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
data() constmcrl2::lts::detail::lts_lts_baseinline
get_transitions() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
get_transitions()mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
has_action_info() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
has_state_info() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
hidden_label_set() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
hidden_label_set()mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
initial_state() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
is_probabilistic(const states_size_type state) constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
is_probabilistic_ltsmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >static
is_tau(labels_size_type action) constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
labels_size_type typedefmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >
load(const std::string &filename)mcrl2::lts::lts_lts_t
lts()mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
lts(const lts &l)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
lts_lts_base()mcrl2::lts::detail::lts_lts_baseinline
lts_lts_t()mcrl2::lts::lts_lts_tinline
m_action_declsmcrl2::lts::detail::lts_lts_baseprotected
m_action_labelsmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >protected
m_data_specmcrl2::lts::detail::lts_lts_baseprotected
m_hidden_label_setmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >protected
m_init_statemcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >protected
m_nstatesmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >protected
m_parametersmcrl2::lts::detail::lts_lts_baseprotected
m_state_labelsmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >protected
m_transitionsmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >protected
num_action_labels() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
num_state_labels() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
num_states() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
num_transitions() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
operator=(const lts &l)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
operator==(const lts &other) constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
mcrl2::lts::detail::lts_lts_base::operator==(const lts_lts_base &other) constmcrl2::lts::detail::lts_lts_baseinline
process_parameter(std::size_t i) constmcrl2::lts::detail::lts_lts_baseinline
process_parameters() constmcrl2::lts::detail::lts_lts_baseinline
record_hidden_actions(const std::vector< std::string > &tau_actions)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
rename_labels(const std::map< labels_size_type, labels_size_type > &action_rename_map)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inlineprotected
save(const std::string &filename) constmcrl2::lts::lts_lts_t
set_action_label(const labels_size_type action, const action_label_lts &label)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
set_action_label_declarations(const process::action_label_list &decls)mcrl2::lts::detail::lts_lts_baseinline
set_data(const data::data_specification &spec)mcrl2::lts::detail::lts_lts_baseinline
set_hidden_label_set(const std::set< labels_size_type > &m)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
set_initial_state(const states_size_type state)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
set_num_action_labels(const labels_size_type n)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
set_num_states(const states_size_type n, const bool has_state_labels=true)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
set_process_parameters(const data::variable_list &params)mcrl2::lts::detail::lts_lts_baseinline
set_state_label(const states_size_type state, const state_label_lts &label)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
state_label(const states_size_type state) constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
state_label_t typedefmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >
state_labels()mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
state_labels() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
states_size_type typedefmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >
store_action_label_to_be_renamed(const action_label_lts &a, const labels_size_type i, std::map< labels_size_type, labels_size_type > &action_rename_map)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inlineprotected
swap(lts &l)mcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
mcrl2::lts::detail::lts_lts_base::swap(lts_lts_base &l)mcrl2::lts::detail::lts_lts_baseinline
tau_label_index() constmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >inline
transitions_size_type typedefmcrl2::lts::lts< state_label_lts, action_label_lts, detail::lts_lts_base >
type()mcrl2::lts::detail::lts_lts_baseinlinestatic