mcrl2::lts::stochastic_lts_fsm_builder¶

Include file:

#include "mcrl2/lts/stochastic_lts_builder.h

class mcrl2::lts::stochastic_lts_fsm_builder¶

Public types¶

type mcrl2::lts::stochastic_lts_fsm_builder::super¶: typedef for stochastic_lts_lts_builder

Public member functions¶

void save(const std::string &filename) override

stochastic_lts_fsm_builder(const data::data_specification &dataspec, const process::action_label_list &action_labels, const data::variable_list &process_parameters)¶