test_operation.h File Reference

Function for testing operations. 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::utilities
namespace	mcrl2::utilities::detail

Functions
template<typename T >
T	mcrl2::utilities::detail::identity (T t)
template<typename Parser , typename Operation1 , typename Operation2 , typename Compare >
bool	mcrl2::utilities::detail::test_operation (const std::string &expr1, const std::string &expr2, Parser parse, Compare comp, Operation1 op1, const std::string &opname1, Operation2 op2, const std::string &opname2)
	Generic function that applies two operations to two objects, and compares the results.
template<typename Parser , typename Operation , typename Compare >
bool	mcrl2::utilities::detail::test_operation (const std::string &expr1, const std::string &expr2, Parser parse, Compare comp, Operation op, const std::string &opname)
	Generic function that applies an operation to an object, and compares it with another object.

Detailed Description

Function for testing operations.

Definition in file test_operation.h.