mcrl2::lps::stochastic_state Struct Reference

#include <stochastic_state.h>

Public Member Functions
	stochastic_state ()=default
	stochastic_state (const state &s)
void	push_back (const data::data_expression &probability, const state &s)
void	clear ()
std::size_t	size () const

Public Attributes
std::vector< data::data_expression >	probabilities
std::vector< state >	states

Detailed Description

Definition at line 42 of file stochastic_state.h.

Constructor & Destructor Documentation

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

Definition at line 50 of file stochastic_state.h.

Member Function Documentation

clear()

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

inline

Definition at line 60 of file stochastic_state.h.

push_back()

void mcrl2::lps::stochastic_state::push_back ( const data::data_expression &  probability, const state &  s  )

inline

Definition at line 54 of file stochastic_state.h.

size()

std::size_t mcrl2::lps::stochastic_state::size ( ) const

inline

Definition at line 66 of file stochastic_state.h.

Member Data Documentation

probabilities

std::vector<data::data_expression> mcrl2::lps::stochastic_state::probabilities

Definition at line 45 of file stochastic_state.h.

states

std::vector<state> mcrl2::lps::stochastic_state::states

Definition at line 46 of file stochastic_state.h.

---

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

• lps/include/mcrl2/lps/stochastic_state.h