mCRL2
|
add your file description here. 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. | |
Functions | |
template<typename Node , typename GenerateSuccessors > | |
Node | mcrl2::lps::find_representative (Node &u0, GenerateSuccessors generate_successors) |
Search for a unique representative in a graph. | |
add your file description here.
Definition in file find_representative.h.