mcrl2::data::tools Namespace Reference

Classes
class	prover_tool
	Base class for tools that use a rewriter. More...
class	rewriter_tool
	Base class for tools that use a rewriter. More...