mcrl2/lts/stochastic_lts_builder.h

Include file:

#include "mcrl2/lts/stochastic_lts_builder.h"

Classes

• mcrl2::lts::stochastic_lts_aut_builder
• mcrl2::lts::stochastic_lts_builder
• mcrl2::lts::stochastic_lts_fsm_builder
• mcrl2::lts::stochastic_lts_lts_builder
• mcrl2::lts::stochastic_lts_none_builder
• mcrl2::lts::stochastic_lts_aut_builder::stochastic_state
• mcrl2::lts::stochastic_lts_aut_builder::transition

Functions

std::unique_ptr<stochastic_lts_builder> mcrl2::lts::create_stochastic_lts_builder(const lps::stochastic_specification &lpsspec, const lps::explorer_options &options, lts_type output_format)