mCRL2
|
add your file description here. More...
Go to the source code of this file.
Classes | |
struct | mcrl2::pbes_system::pbes_expression_builder_base< Derived > |
Builder class. More... | |
struct | mcrl2::pbes_system::add_sort_expressions< Builder, Derived > |
struct | mcrl2::pbes_system::sort_expression_builder< Derived > |
\brief Builder class More... | |
struct | mcrl2::pbes_system::add_data_expressions< Builder, Derived > |
struct | mcrl2::pbes_system::data_expression_builder< Derived > |
\brief Builder class More... | |
struct | mcrl2::pbes_system::add_variables< Builder, Derived > |
struct | mcrl2::pbes_system::variable_builder< Derived > |
\brief Builder class More... | |
struct | mcrl2::pbes_system::add_pbes_expressions< Builder, Derived > |
struct | mcrl2::pbes_system::pbes_expression_builder< Derived > |
\brief Builder class More... | |
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. | |
add your file description here.
Definition in file builder.h.