normalize.h File Reference

Normalization of pbes expressions. More...

Go to the source code of this file.

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

Functions
template<typename T >
bool	mcrl2::pbes_system::is_normalized (const T &x)
	Checks if a pbes expression is normalized.
template<typename T > requires (!std::is_base_of_v<atermpp::aterm, T>)
void	mcrl2::pbes_system::normalize (T &x)
	The function normalize brings (embedded) pbes expressions into positive normal form, i.e. a formula without any occurrences of ! or =>.
template<typename T > requires (std::is_base_of_v<atermpp::aterm, T>)
T	mcrl2::pbes_system::normalize (const T &x)
	The function normalize brings (embedded) pbes expressions into positive normal form, i.e. a formula without any occurrences of ! or =>.

Detailed Description

Normalization of pbes expressions.

Definition in file normalize.h.