add your file description here. More...

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

namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

namespace	mcrl2::pbes_system::detail

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)

Detailed Description

add your file description here.

Definition in file absinthe.h.

Classes