mcrl2::lts::stochastic_lts_aut_builder

Include file:

#include "mcrl2/lts/stochastic_lts_builder.h
class mcrl2::lts::stochastic_lts_aut_builder

Protected attributes

std::size_t mcrl2::lts::stochastic_lts_aut_builder::m_number_of_states
std::vector<stochastic_state> mcrl2::lts::stochastic_lts_aut_builder::m_stochastic_states
std::vector<transition> mcrl2::lts::stochastic_lts_aut_builder::m_transitions

Public member functions

void add_transition(std::size_t from, const process::timed_multi_action &a, const std::list<std::size_t> &targets, const std::vector<data::data_expression> &probabilities) override
void finalize(const utilities::indexed_set<lps::state> &state_map) override
void save(std::ostream &out) const
void save(const std::string &filename) override
void set_initial_state(const std::list<std::size_t> &targets, const std::vector<data::data_expression> &probabilities) override
stochastic_lts_aut_builder() = default