Functions for testing a rewriter. More...

Classes
struct	mcrl2::data::detail::normalize_and_or_builder< Derived >

struct	mcrl2::data::detail::normalize_equality_builder< Derived >

struct	mcrl2::data::detail::normalizer< Function >

class	mcrl2::data::detail::parser

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

namespace	mcrl2::data
	Namespace for all data library functionality.

namespace	mcrl2::data::detail

Functions
template<typename T >
T	mcrl2::data::detail::normalize_and_or (const T &x, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)

template<typename T >
void	mcrl2::data::detail::normalize_and_or (T &x, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=0)

template<typename T >
T	mcrl2::data::detail::normalize_equality (const T &x, typename std::enable_if< std::is_base_of< atermpp::aterm, T >::value >::type *=nullptr)

template<typename T >
void	mcrl2::data::detail::normalize_equality (T &x, typename std::enable_if< !std::is_base_of< atermpp::aterm, T >::value >::type *=0)

template<typename Function >
normalizer< Function >	mcrl2::data::detail::N (const Function &f)

std::string	mcrl2::data::detail::VARIABLE_SPECIFICATION ()

template<typename Rewriter1 , typename Rewriter2 >
void	mcrl2::data::detail::test_rewriters (Rewriter1 R1, Rewriter2 R2, std::string expr1, std::string expr2, const std::string &var_decl=VARIABLE_SPECIFICATION(), const std::string &data_spec="")

data_expression	mcrl2::data::detail::I (const data_expression &x)

Detailed Description

Functions for testing a rewriter.

Definition in file test_rewriters.h.

Classes