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