synthesisResult.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_SYNTHESISRESULT_HPP
#define TRITON_SYNTHESISRESULT_HPP
 
#include <triton/ast.hpp>
#include <triton/dllexport.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace synthesis {
 
      class SynthesisResult {
        private:
          bool success;
 
          triton::ast::SharedAbstractNode input;
 
          triton::ast::SharedAbstractNode output;
 
          triton::usize time;
 
        public:
          TRITON_EXPORT SynthesisResult();
 
          TRITON_EXPORT SynthesisResult(const SynthesisResult& other);
 
          SynthesisResult& operator=(const SynthesisResult& other);
 
          TRITON_EXPORT void setInput(const triton::ast::SharedAbstractNode& input);
 
          TRITON_EXPORT void setOutput(const triton::ast::SharedAbstractNode& output);
 
          TRITON_EXPORT void setTime(triton::usize ms);
 
          TRITON_EXPORT void setSuccess(bool value);
 
          TRITON_EXPORT const triton::ast::SharedAbstractNode getInput(void);
 
          TRITON_EXPORT const triton::ast::SharedAbstractNode getOutput(void);
 
          TRITON_EXPORT triton::usize getTime(void);
 
          TRITON_EXPORT bool successful(void);
      };
 
    };
  };
};
 
#endif /* TRITON_SYNTHESISRESULT_HPP */