mCRL2
|
add your file description here. More...
Go to the source code of this file.
Classes | |
struct | mcrl2::lps::explorer_options |
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. | |
Functions | |
std::ostream & | mcrl2::lps::operator<< (std::ostream &out, const explorer_options &options) |
add your file description here.
Definition in file explorer_options.h.