oracleEntry.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_ORACLEENTRY_HPP
#define TRITON_ORACLEENTRY_HPP
 
#include <triton/ast.hpp>
#include <triton/dllexport.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace synthesis {
 
      class ConstantEntry {
        public:
          triton::ast::SharedAbstractNode op;
 
          triton::uint8 position;
 
          TRITON_EXPORT ConstantEntry(triton::uint8 position, const triton::ast::SharedAbstractNode& op)
            : op(op), position(position) {
          };
      };
 
 
      class UnaryEntry {
        public:
          triton::uint32 bits;
 
          triton::uint64 x;
 
          triton::uint64 r;
 
          TRITON_EXPORT UnaryEntry(triton::uint8 bits, triton::uint64 x, triton::uint64 r)
            : bits(bits), x(x), r(r) {
          };
      };
 
 
      class BinaryEntry {
        public:
          triton::uint32 bits;
 
          triton::uint64 x;
 
          triton::uint64 y;
 
          triton::uint64 r;
 
          TRITON_EXPORT BinaryEntry(triton::uint8 bits, triton::uint64 x, triton::uint64 y, triton::uint64 r)
            : bits(bits), x(x), y(y), r(r) {
          };
      };
 
      template<std::size_t N>
      class OpEncoding {
        public:
          std::array<triton::ast::ast_e, N> ops;
 
          std::array<triton::uint8, N + 1> vars;
 
          OpEncoding(std::array<triton::ast::ast_e, N> ops, std::array<triton::uint8, N + 1> vars)
            : ops(ops), vars(vars) {
          }
      };
 
      template<std::size_t N>
      bool operator<(const OpEncoding<N>& obj1, const OpEncoding<N>& obj2) {
        return (&obj1 < &obj2);
      }
 
    };
  };
};
 
#endif /* TRITON_ORACLEENTRY_HPP */