metaSMT git
Classes | Namespaces | Defines

metaSMT/transform/fmiToQF_BV.hpp File Reference

#include "../frontend/QF_BV.hpp"
#include <boost/proto/transform.hpp>
#include "rewrite.hpp"

Go to the source code of this file.

Classes

struct  metaSMT::transform::fmiToQF_BV_c
struct  metaSMT::transform::fmiToQF_BV_c::case_< Tag >
struct  metaSMT::transform::fmiToQF_BV_c::case_< proto::tag::terminal >
struct  metaSMT::transform::make_bvand
struct  metaSMT::transform::make_bvand::result< This(Left, Right)>
struct  metaSMT::transform::fmiToQF_BV

Namespaces

namespace  metaSMT
namespace  metaSMT::transform

Defines

#define TRANSLATE_FMI_QF_BV(tag1, tag2)

Define Documentation

#define TRANSLATE_FMI_QF_BV (   tag1,
  tag2 
)
Value:
template<>\
    struct fmiToQF_BV_c::case_<tag1>\
      : proto::call< \
          proto::functional::make_expr<tag2>( \
                fmiToQF_BV(proto::_left)\
              , fmiToQF_BV(proto::_right)\
            )>\
    {};

Definition at line 53 of file fmiToQF_BV.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines