mcrl2::pbes_system::tools Namespace Reference

Classes
class	pbes_input_output_tool
	Base class for filter tools that take a pbes as input and. More...
class	pbes_input_tool
	Base class for filter tools that take a pbes as input. More...
class	pbes_output_tool
	Base class for filter tools that produce a pbes as output. More...
class	pbes_rewriter_tool
	Base class for filter tools that use a pbes rewriter. More...