z3ToTriton.hpp

Go to the documentation of this file.

 
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#ifndef TRITON_Z3TOTRITONAST_H
#define TRITON_Z3TOTRITONAST_H
 
#include <z3++.h>
 
#include <triton/ast.hpp>
#include <triton/dllexport.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace ast {
 
    class Z3ToTriton {
      private:
        triton::ast::SharedAstContext astCtxt;
 
      public:
        TRITON_EXPORT Z3ToTriton(const triton::ast::SharedAstContext& ctxt);
 
        TRITON_EXPORT triton::ast::SharedAbstractNode convert(const z3::expr& expr);
    };
 
  };
};
 
#endif /* TRITON_Z3TOTRITONAST_H */