solverInterface.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_SOLVERINTERFACE_HPP
#define TRITON_SOLVERINTERFACE_HPP
 
#include <unordered_map>
#include <vector>
 
#include <triton/ast.hpp>
#include <triton/dllexport.hpp>
#include <triton/solverEnums.hpp>
#include <triton/solverModel.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace solver {
      class SolverInterface {
        public:
          TRITON_EXPORT virtual ~SolverInterface(){};
 
 
          TRITON_EXPORT virtual std::unordered_map<triton::usize, SolverModel> getModel(const triton::ast::SharedAbstractNode& node, triton::engines::solver::status_e* status = nullptr, triton::uint32 timeout = 0, triton::uint32* solvingTime = nullptr) const = 0;
 
 
          TRITON_EXPORT virtual std::vector<std::unordered_map<triton::usize, SolverModel>> getModels(const triton::ast::SharedAbstractNode& node, triton::uint32 limit, triton::engines::solver::status_e* status = nullptr, triton::uint32 timeout = 0, triton::uint32* solvingTime = nullptr) const = 0;
 
          TRITON_EXPORT virtual bool isSat(const triton::ast::SharedAbstractNode& node, triton::engines::solver::status_e* status = nullptr, triton::uint32 timeout = 0, triton::uint32* solvingTime = nullptr) const = 0;
 
          TRITON_EXPORT virtual std::string getName(void) const = 0;
 
          TRITON_EXPORT virtual void setTimeout(triton::uint32 ms) = 0;
 
          TRITON_EXPORT virtual void setMemoryLimit(triton::uint32 mem) = 0;
      };
 
    };
  };
};
 
#endif /* TRITON_SOLVERINTERFACE_HPP */