mcrl2::lps::tools Namespace Reference

Classes
class	lps_rewriter_tool
	Base class for filter tools that use a lps rewriter. More...