| 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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &s) | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | inline |
| add_probabilistic_state(const probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &s) | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | |
| clear() | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | inline |
| initial_state() const | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | |
| operator=(probabilistic_lts &&other)=default | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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) const | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | inline |
| mcrl2::lts::lts::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 |
| probabilistic_lts() | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | inline |
| probabilistic_lts(const probabilistic_lts &other)=default | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | |
| probabilistic_lts(probabilistic_lts &&other)=default | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | |
| probabilistic_state(const states_size_type index) const | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | inline |
| probabilistic_state_t typedef | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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(std::ostream &os) const | mcrl2::lts::probabilistic_lts_dot_t | |
| save(const std::string &filename) const | mcrl2::lts::probabilistic_lts_dot_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 probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &state) | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | inline |
| set_initial_state(const states_size_type s) | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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 probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction > &s) | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | |
| swap(probabilistic_lts &other) | mcrl2::lts::probabilistic_lts< state_label_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_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_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_dot, action_label_string, probabilistic_state< std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction >, detail::lts_dot_base > | |
| type() | mcrl2::lts::lts_default_base | inline |
1.9.7