mCRL2
|
Base class for tools that produce a (P)BES as output. More...
Go to the source code of this file.
Classes | |
class | mcrl2::pbes_system::tools::pbes_input_tool< Tool > |
Base class for filter tools that take a pbes as input. More... | |
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::pbes_system |
The main namespace for the PBES library. | |
namespace | mcrl2::pbes_system::tools |
Base class for tools that produce a (P)BES as output.
Definition in file pbes_input_tool.h.