mcrl2::lts::lts_aut_disk_builder

Include file:

#include "mcrl2/lts/lts_builder.h

class mcrl2::lts::lts_aut_disk_builder

Protected attributes

std::mutex mcrl2::lts::lts_aut_disk_builder::m_exclusive_transition_access

std::size_t mcrl2::lts::lts_aut_disk_builder::m_transition_count

std::ofstream mcrl2::lts::lts_aut_disk_builder::out

Public member functions

void add_transition(std::size_t from, const lps::multi_action &a, std::size_t to, const std::size_t number_of_threads) override

void finalize(const indexed_set_for_states_type &state_map, bool) override

lts_aut_disk_builder(const std::string &filename)

void save(const std::string&) override