mCRL2
Loading...
Searching...
No Matches
stochastic_lts_builder.h File Reference

Go to the source code of this file.

Classes

struct  mcrl2::lts::stochastic_lts_builder
 
class  mcrl2::lts::stochastic_lts_none_builder
 
class  mcrl2::lts::stochastic_lts_aut_builder
 
struct  mcrl2::lts::stochastic_lts_aut_builder::stochastic_state
 
struct  mcrl2::lts::stochastic_lts_aut_builder::transition
 
class  mcrl2::lts::stochastic_lts_lts_builder
 
class  mcrl2::lts::stochastic_lts_fsm_builder
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::lts
 The main LTS namespace.
 

Functions

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