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)>)>