mCRL2
Loading...
Searching...
No Matches
find_representative.h File Reference

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.
 

Detailed Description

add your file description here.

Definition in file find_representative.h.