mcrl2::lts::detail::aterm_labelled_transition_system

class mcrl2::lts::detail::aterm_labelled_transition_system

Public member functions

const process::action_label_list action_label_declarations() const
void add_indices()
aterm_labelled_transition_system(const aterm &a)
aterm_labelled_transition_system(const probabilistic_lts_lts_t &ts, const aterm_probabilistic_transition_list &transitions, const state_labels_t &state_label_list, const action_labels_t &action_label_list)
aterm_labelled_transition_system(const lts_lts_t &ts, const aterm_probabilistic_transition_list &transitions, const state_labels_t &state_label_list, const action_labels_t &action_label_list)
const data::data_specification data() const
action_labels_t get_action_label_declarations() const
state_labels_t get_state_labels() const
probabilistic_lts_lts_t::probabilistic_state_t initial_probabilistic_state() const
std::size_t num_action_labels() const
std::size_t num_states() const
const data::variable_list process_parameters() const
void remove_indices()

Remove indices from dedicated terms such as variables and process names.

aterm_probabilistic_transition_list transitions() const

Protected member functions

const aterm_appl &meta_data() const