#include <stochastic_state.h>
Definition at line 42 of file stochastic_state.h.
◆ stochastic_state() [1/2]
mcrl2::lps::stochastic_state::stochastic_state 
( 
 ) 


default 
◆ stochastic_state() [2/2]
mcrl2::lps::stochastic_state::stochastic_state 
( 
const state & 
s  ) 


inlineexplicit 
◆ clear()
void mcrl2::lps::stochastic_state::clear 
( 
 ) 


inline 
◆ push_back()
◆ size()
std::size_t mcrl2::lps::stochastic_state::size 
( 
 ) 
const 

inline 
◆ probabilities
◆ states
std::vector<state> mcrl2::lps::stochastic_state::states 
The documentation for this struct was generated from the following file: