mCRL2
|
Go to the source code of this file.
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::core |
namespace | mcrl2::core::detail |
Functions | |
std::string | mcrl2::core::pp (const identifier_string &x) |