mcrl2::lts::stochastic_lts_lts_builder

Include file:

#include "mcrl2/lts/stochastic_lts_builder.h

class mcrl2::lts::stochastic_lts_lts_builder

Protected attributes

bool mcrl2::lts::stochastic_lts_lts_builder::m_discard_state_labels

std::mutex mcrl2::lts::stochastic_lts_lts_builder::m_exclusive_transition_access

probabilistic_state<std::size_t, lps::probabilistic_data_expression> mcrl2::lts::stochastic_lts_lts_builder::m_initial_state

probabilistic_lts_lts_t mcrl2::lts::stochastic_lts_lts_builder::m_lts

Public member functions

void add_transition(std::size_t from, const lps::multi_action &a, const std::list<std::size_t> &targets, const std::vector<data::data_expression> &probabilities, const std::size_t number_of_threads) override

void finalize(const indexed_set_for_states_type &state_map, bool timed) override

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_lts_builder(const data::data_specification &dataspec, const process::action_label_list &action_labels, const data::variable_list &process_parameters, bool discard_state_labels = false)

Public static member functions

static probabilistic_state<std::size_t, lps::probabilistic_data_expression> make_probabilistic_state(const std::list<std::size_t> &targets, const std::vector<data::data_expression> &probabilities)