mcrl2::lts::lts_lts_disk_builder

Include file:

#include "mcrl2/lts/lts_builder.h
class mcrl2::lts::lts_lts_disk_builder

Protected attributes

std::fstream mcrl2::lts::lts_lts_disk_builder::fstream
bool mcrl2::lts::lts_lts_disk_builder::m_discard_state_labels
std::unique_ptr<atermpp::binary_aterm_ostream> mcrl2::lts::lts_lts_disk_builder::stream

Public member functions

void add_transition(std::size_t from, const process::timed_multi_action &a, std::size_t to) override
void finalize(const utilities::indexed_set<lps::state> &state_map, bool timed) override
lts_lts_disk_builder(const std::string &filename, const data::data_specification &dataspec, const process::action_label_list &action_labels, const data::variable_list &process_parameters, bool discard_state_labels = false)
void save(const std::string&) override