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::pbes_system |
The main namespace for the PBES library. | |
namespace | mcrl2::pbes_system::detail |
Macros | |
#define | MCRL2_ABSINTHE_CHECK_EXPRESSIONS |
Functions | |
template<typename Term > | |
std::string | mcrl2::pbes_system::print_term (const Term &x) |
template<typename Term > | |
std::string | mcrl2::pbes_system::print_symbol (const Term &x) |
data::data_specification & | mcrl2::pbes_system::detail::absinthe_data_specification () |
template<typename T > | |
void | mcrl2::pbes_system::detail::absinthe_check_expression (const T &x) |
bool | mcrl2::pbes_system::detail::is_structured_sort_constructor (const data::data_specification &dataspec, const data::function_symbol &f) |
void | mcrl2::pbes_system::detail::print_used_function_symbols (const pbes &p) |
data::sort_expression | mcrl2::pbes_system::detail::target_sort (const data::sort_expression &s) |
add your file description here.
Definition in file absinthe.h.
#define MCRL2_ABSINTHE_CHECK_EXPRESSIONS |
Definition at line 15 of file absinthe.h.