mcrl2/pbes/tools/pbesabsinthe.h

Include file:

#include "mcrl2/pbes/tools/pbesabsinthe.h"

add your file description here.

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)