mcrl2::lts::stochastic_lts_aut_builder::stochastic_state Struct Reference

#include <stochastic_lts_builder.h>

Public Member Functions
	stochastic_state ()=default
	stochastic_state (std::list< std::size_t > targets_, std::vector< data::data_expression > probabilities_)
void	save_to_aut (std::ostream &out) const

Public Attributes
std::list< std::size_t >	targets
std::vector< data::data_expression >	probabilities

Detailed Description

Definition at line 78 of file stochastic_lts_builder.h.

Constructor & Destructor Documentation

stochastic_state() [1/2]

mcrl2::lts::stochastic_lts_aut_builder::stochastic_state::stochastic_state ( )

default

stochastic_state() [2/2]

mcrl2::lts::stochastic_lts_aut_builder::stochastic_state::stochastic_state ( std::list< std::size_t >  targets_, std::vector< data::data_expression >  probabilities_  )

inline

Definition at line 85 of file stochastic_lts_builder.h.

Member Function Documentation

save_to_aut()

void mcrl2::lts::stochastic_lts_aut_builder::stochastic_state::save_to_aut ( std::ostream &  out ) const

inline

Definition at line 89 of file stochastic_lts_builder.h.

Member Data Documentation

probabilities

std::vector<data::data_expression> mcrl2::lts::stochastic_lts_aut_builder::stochastic_state::probabilities

Definition at line 81 of file stochastic_lts_builder.h.

targets

std::list<std::size_t> mcrl2::lts::stochastic_lts_aut_builder::stochastic_state::targets

Definition at line 80 of file stochastic_lts_builder.h.

---

The documentation for this struct was generated from the following file:

• lts/include/mcrl2/lts/stochastic_lts_builder.h