mcrl2/pbes/absinthe.h

Include file:

#include "mcrl2/pbes/absinthe.h"

add your file description here.

Classes

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

Functions

void pbesabsinthe(const std::string &input_filename, const std::string &output_filename, const utilities::file_format &input_format, const utilities::file_format &output_format, const std::string &abstraction_file, absinthe_strategy strategy, bool print_used_function_symbols, bool enable_logging)

std::string mcrl2::pbes_system::print_symbol(const Term &x)

std::string mcrl2::pbes_system::print_term(const Term &x)

Functions

void mcrl2::pbes_system::detail::absinthe_check_expression(const T &x)

data::data_specification &mcrl2::pbes_system::detail::absinthe_data_specification()

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)