mcrl2::lts::lts_aut_builder

Include file:

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

Protected attributes

lts_aut_t mcrl2::lts::lts_aut_builder::m_lts

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) override
lts_aut_builder() = default
void save(const std::string &filename) override