mcrl2::lts::lts_none_builder

Include file:

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

Public member functions

void add_transition(std::size_t, const process::timed_multi_action&, std::size_t) override
void finalize(const std::unordered_map<lps::state, std::size_t>&) override
void save(const std::string&) override