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.