mCRL2
|
This file contains some specifications used for testing. More...
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::lps |
The main namespace for the LPS library. | |
namespace | mcrl2::lps::detail |
Functions | |
std::string | mcrl2::lps::detail::ABP_SPECIFICATION () |
std::string | mcrl2::lps::detail::DINING3_SPECIFICATION () |
std::string | mcrl2::lps::detail::ONE_BIT_SLIDING_WINDOW_SPECIFICATION () |
std::string | mcrl2::lps::detail::LINEAR_ABP_SPECIFICATION () |
This file contains some specifications used for testing.
Definition in file test_input.h.