normalize.h File Reference

Add your file description here. More...

Go to the source code of this file.

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::state_formulas

Functions
template<typename T >
bool	mcrl2::state_formulas::is_normalized (const T &x)
	Checks if a state formula is normalized.
template<typename T >
void	mcrl2::state_formulas::normalize (T &x, bool quantitative=false, bool negated=false, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
	The function normalize brings (embedded) state formulas into positive normal form, i.e. a formula without any occurrences of ! or =>.
template<typename T >
T	mcrl2::state_formulas::normalize (const T &x, bool quantitative=false, bool negated=false, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)
	The function normalize brings (embedded) state formulas into positive normal form, i.e. a formula without any occurrences of ! or =>.

Detailed Description

Add your file description here.

Definition in file normalize.h.