Include file:
#include "mcrl2/lts/lts_builder.h
mcrl2::lts::
lts_lts_builder
¶mcrl2::lts::lts_lts_builder::
m_discard_state_labels
¶mcrl2::lts::lts_lts_builder::
m_lts
¶add_transition
(std::size_t from, const lps::multi_action &a, std::size_t to) overridefinalize
(const utilities::indexed_set<lps::state> &state_map, bool timed) overridelts_lts_builder
(const data::data_specification &dataspec, const process::action_label_list &action_labels, const data::variable_list &process_parameters, bool discard_state_labels = false)¶save
(const std::string &filename) override