12#ifndef MCRL2_LPS_IS_STOCHASTIC_H
13#define MCRL2_LPS_IS_STOCHASTIC_H
\brief A stochastic distribution
bool is_defined() const
Returns true if the distribution is defined, i.e. it contains a valid distribution....
add your file description here.
bool is_stochastic(const T &x)
Returns true if the LPS object x contains a stochastic distribution in one of its attributes.
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
void apply(const lps::deadlock &x)
is_stochastic_traverser()
void apply(const lps::stochastic_distribution &x)
lps::data_expression_traverser< is_stochastic_traverser > super