solverModel.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_SOLVERMODEL_H
#define TRITON_SOLVERMODEL_H
 
#include <string>
 
#include <triton/dllexport.hpp>
#include <triton/symbolicVariable.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace solver {
 
      class SolverModel {
        protected:
          triton::engines::symbolic::SharedSymbolicVariable variable;
 
          triton::uint512 value;
 
        private:
          void copy(const SolverModel& other);
 
        public:
          TRITON_EXPORT SolverModel();
 
          TRITON_EXPORT SolverModel(const triton::engines::symbolic::SharedSymbolicVariable& variable, triton::uint512 value);
 
          TRITON_EXPORT SolverModel(const SolverModel& other);
 
          TRITON_EXPORT SolverModel& operator=(const SolverModel& other);
 
          TRITON_EXPORT bool operator==(const SolverModel& other) const;
 
          TRITON_EXPORT triton::usize getId(void) const;
 
          TRITON_EXPORT triton::uint512 getValue(void) const;
 
          TRITON_EXPORT triton::uint32 getSize(void) const;
 
          TRITON_EXPORT const triton::engines::symbolic::SharedSymbolicVariable& getVariable(void) const;
      };
 
    TRITON_EXPORT std::ostream& operator<<(std::ostream& stream, const SolverModel& model);
 
    TRITON_EXPORT std::ostream& operator<<(std::ostream& stream, const SolverModel* model);
 
    };
  };
};
 
#endif /* TRITON_SOLVERMODEL_H */