action_label(const labels_size_type action) const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
action_label_t typedef | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | |
action_labels() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
add_action(const action_label_string &label) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
add_process_parameter(const std::string &name, const std::string &sort) | mcrl2::lts::detail::lts_fsm_base | inline |
add_state(const state_label_fsm &label=state_label_fsm()) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
add_state_element_value(std::size_t idx, const std::string &s) | mcrl2::lts::detail::lts_fsm_base | inline |
add_state_number_as_state_information() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
add_transition(const transition &t) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
apply_hidden_actions(const std::vector< std::string > &tau_actions) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
apply_hidden_label_map(const labels_size_type action) const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
base_t typedef | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | |
clear() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
clear_actions() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
clear_process_parameters() | mcrl2::lts::detail::lts_fsm_base | inline |
clear_state_labels() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
clear_transitions(const std::size_t n=0) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
get_transitions() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
get_transitions() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
has_action_info() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
has_state_info() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
hidden_label_set() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
hidden_label_set() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
initial_state() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
is_probabilistic(const states_size_type state) const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
is_probabilistic_lts | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | static |
is_tau(labels_size_type action) const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
labels_size_type typedef | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | |
load(const std::string &filename) | mcrl2::lts::lts_fsm_t | |
lts() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
lts(const lts &l) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
m_action_labels | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | protected |
m_hidden_label_set | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | protected |
m_init_state | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | protected |
m_nstates | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | protected |
m_parameters | mcrl2::lts::detail::lts_fsm_base | protected |
m_state_element_values | mcrl2::lts::detail::lts_fsm_base | protected |
m_state_labels | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | protected |
m_transitions | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | protected |
num_action_labels() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
num_state_labels() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
num_states() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
num_transitions() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
operator=(const lts &l) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
operator==(const lts &other) const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
mcrl2::lts::detail::lts_fsm_base::operator==(const lts_fsm_base &other) const | mcrl2::lts::detail::lts_fsm_base | inline |
probabilistic_state typedef | mcrl2::lts::detail::lts_fsm_base | |
process_parameter(std::size_t i) const | mcrl2::lts::detail::lts_fsm_base | inline |
process_parameters() const | mcrl2::lts::detail::lts_fsm_base | inline |
record_hidden_actions(const std::vector< std::string > &tau_actions) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
rename_labels(const std::map< labels_size_type, labels_size_type > &action_rename_map) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inlineprotected |
save(const std::string &filename) const | mcrl2::lts::lts_fsm_t | |
set_action_label(const labels_size_type action, const action_label_string &label) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
set_hidden_label_set(const std::set< labels_size_type > &m) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
set_initial_state(const states_size_type state) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
set_num_action_labels(const labels_size_type n) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
set_num_states(const states_size_type n, const bool has_state_labels=true) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
set_num_transitions(const std::size_t n) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
set_state_label(const states_size_type state, const state_label_fsm &label) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
state_element_value(std::size_t parameter_index, std::size_t element_index) const | mcrl2::lts::detail::lts_fsm_base | inline |
state_element_values(std::size_t idx) const | mcrl2::lts::detail::lts_fsm_base | inline |
state_label(const states_size_type state) const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
state_label_t typedef | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | |
state_label_to_string(const state_label_fsm &l) const | mcrl2::lts::detail::lts_fsm_base | inline |
state_labels() | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
state_labels() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
state_probability_pair typedef | mcrl2::lts::detail::lts_fsm_base | |
states_size_type typedef | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | |
store_action_label_to_be_renamed(const action_label_string &a, const labels_size_type i, std::map< labels_size_type, labels_size_type > &action_rename_map) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inlineprotected |
super typedef | mcrl2::lts::lts_fsm_t | |
swap(lts &l) | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
mcrl2::lts::detail::lts_fsm_base::swap(lts_fsm_base &other) | mcrl2::lts::detail::lts_fsm_base | inline |
tau_label_index() const | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | inline |
transitions_size_type typedef | mcrl2::lts::lts< state_label_fsm, action_label_string, detail::lts_fsm_base > | |
type() const | mcrl2::lts::detail::lts_fsm_base | inline |