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(pbes_expression f)

Returns true if the pbes expression is monotonous.

Parameters:

  • f A pbes expression.

Returns: True if the pbes expression is monotonous.

bool mcrl2::pbes_system::is_monotonous(const pbes_equation &e)

Returns true if the pbes equation is monotonous.

bool mcrl2::pbes_system::is_monotonous(const pbes &p)

Returns true if the pbes is monotonous.