mCRL2
|
Go to the source code of this file.
Classes | |
class | mcrl2::lps::stochastic_specification |
Linear process specification. More... | |
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::lps |
The main namespace for the LPS library. | |