documentation/doxygen/z3ToTriton_8hpp_source.html

/*

**  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 */

ast.hpp

triton::ast::Z3ToTriton
Converts a Z3's AST to a Triton's AST.
Definition z3ToTriton.hpp:36

triton::ast::Z3ToTriton::Z3ToTriton
TRITON_EXPORT Z3ToTriton(const triton::ast::SharedAstContext &ctxt)
Constructor.
Definition z3ToTriton.cpp:19

triton::ast::Z3ToTriton::convert
TRITON_EXPORT triton::ast::SharedAbstractNode convert(const z3::expr &expr)
Converts to Triton's AST.
Definition z3ToTriton.cpp:24

dllexport.hpp

triton::ast::SharedAbstractNode
std::shared_ptr< triton::ast::AbstractNode > SharedAbstractNode
Shared Abstract Node.
Definition ast.hpp:59

triton::ast::SharedAstContext
std::shared_ptr< triton::ast::AstContext > SharedAstContext
Shared AST context.
Definition ast.hpp:65

triton
The Triton namespace.
Definition architecture.cpp:27

tritonTypes.hpp