mCRL2
|
add your file description here. More...
Go to the source code of this file.
Classes | |
class | mcrl2::pbes_system::detail::computation_guard |
class | mcrl2::pbes_system::detail::periodic_guard |
class | mcrl2::pbes_system::pbesinst_structure_graph_algorithm2 |
Adds an optimization to pbesinst_structure_graph. More... | |
struct | mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser |
struct | mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element |
Namespaces | |
namespace | mcrl2 |
A class that takes a linear process specification and checks all tau-summands of that LPS for confluence. | |
namespace | mcrl2::pbes_system |
The main namespace for the PBES library. | |
namespace | mcrl2::pbes_system::detail |
add your file description here.
Definition in file pbesinst_structure_graph2.h.