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

add your file description here. More...

Go to the source code of this file.

Classes

struct  mcrl2::pbes_system::absinthe_algorithm
 
struct  mcrl2::pbes_system::absinthe_algorithm::absinthe_sort_expression_builder
 
struct  mcrl2::pbes_system::absinthe_algorithm::sort_function
 
struct  mcrl2::pbes_system::absinthe_algorithm::absinthe_data_expression_builder
 
struct  mcrl2::pbes_system::absinthe_algorithm::make_data_expression_set
 
struct  mcrl2::pbes_system::absinthe_algorithm::make_set
 
struct  mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_1_2
 
struct  mcrl2::pbes_system::absinthe_algorithm::lift_function_symbol_2_3
 
struct  mcrl2::pbes_system::absinthe_algorithm::lift_equation_1_2
 
struct  mcrl2::pbes_system::absinthe_algorithm::lift_equation_2_3
 

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_specificationmcrl2::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)
 

Detailed Description

add your file description here.

Definition in file absinthe.h.

Macro Definition Documentation

◆ MCRL2_ABSINTHE_CHECK_EXPRESSIONS

#define MCRL2_ABSINTHE_CHECK_EXPRESSIONS

Definition at line 15 of file absinthe.h.