mCRL2
|
Go to the source code of this file.
Classes | |
class | mcrl2::core::detail::singleton_expression< Derived, Expression > |
struct | mcrl2::core::detail::singleton_identifier< Derived > |
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 |