mCRL2
|
add your file description here. More...
Go to the source code of this file.
Classes | |
struct | mcrl2::pbes_system::untyped_pbes |
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. | |
add your file description here.
Definition in file untyped_pbes.h.