mcrl2/pbes/is_monotonous.h¶
Include file:
#include "mcrl2/pbes/is_monotonous.h"
Functions for computing monotonicity of pbes data types.
Functions¶
-
bool
mcrl2::pbes_system::is_monotonous(const pbes_equation &e)¶ Returns true if the pbes equation is monotonous.
-
bool
mcrl2::pbes_system::is_monotonous(pbes_expression f)¶ Returns true if the pbes expression is monotonous.
Parameters:
- f A pbes expression.
Returns: True if the pbes expression is monotonous.
