mcrl2/lps/is_stochastic.h
Include file:
#include "mcrl2/lps/is_stochastic.h"
add your file description here.
Functions
-
bool
mcrl2::lps::
is_stochastic
(const T &x)
Returns true if the LPS object x contains a stochastic distribution in one of its attributes.