mcrl2/smt/native_translation.h

Include file:

#include "mcrl2/smt/native_translation.h"

Classes

  • mcrl2::smt::native_translations

Typedefs

type mcrl2::smt::native_translation_t

typedef for std::function< void(data::data_expression, std::function< void(std::string)>, std::function< void(data::data_expression)>)>

Functions

native_translations initialise_native_translation(const data::data_specification &dataspec)