rewrite.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::data::detail::Rewriter
	Rewriter interface class. More...

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
std::shared_ptr< detail::Rewriter >	mcrl2::data::detail::createRewriter (const data_specification &DataSpec, const used_data_equation_selector &equations_selector, const rewrite_strategy Strategy=jitty)
	Create a rewriter.
void	mcrl2::data::detail::CheckRewriteRule (const data_equation &data_eqn)
	Check that an mCRL2 data equation is a valid rewrite rule. If not, an runtime_error is thrown indicating the problem.
bool	mcrl2::data::detail::isValidRewriteRule (const data_equation &data_eqn)
	Check whether or not an mCRL2 data equation is a valid rewrite rule.
std::size_t	mcrl2::data::detail::getArity (const data::function_symbol &op)
std::size_t	mcrl2::data::detail::get_direct_arity (const data::function_symbol &op)