mcrl2::lts::stochastic_lts_none_builder

Include file:

#include "mcrl2/lts/stochastic_lts_builder.h

class mcrl2::lts::stochastic_lts_none_builder

Public member functions

void add_transition(std::size_t, const lps::multi_action&, const std::list<std::size_t>&, const std::vector<data::data_expression>&, const std::size_t) override

void finalize(const indexed_set_for_states_type&, bool) override

void save(const std::string&) override

void set_initial_state(const std::list<std::size_t>&, const std::vector<data::data_expression>&) override