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)