is_monotonous.h File Reference

Functions for computing monotonicity of pbes data types. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Functions
bool	mcrl2::pbes_system::is_monotonous (pbes_expression f)
	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.

Detailed Description

Functions for computing monotonicity of pbes data types.

Definition in file is_monotonous.h.