mcrl2/lps/is_stochastic.h

Include file:

#include "mcrl2/lps/is_stochastic.h"

add your file description here.

Classes

  • mcrl2::lps::detail::is_stochastic_traverser

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.