initSolverStateNamespace.cpp

Go to the documentation of this file.

 
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#include <triton/pythonBindings.hpp>
#include <triton/pythonUtils.hpp>
#include <triton/pythonXFunctions.hpp>
#include <triton/solverEnums.hpp>
 
 
 
namespace triton {
  namespace bindings {
    namespace python {
 
      void initSolverStateNamespace(PyObject* solverStateDict) {
        PyDict_Clear(solverStateDict);
 
        xPyDict_SetItemString(solverStateDict, "OUTOFMEM", PyLong_FromUint32(triton::engines::solver::OUTOFMEM));
        xPyDict_SetItemString(solverStateDict, "SAT",      PyLong_FromUint32(triton::engines::solver::SAT));
        xPyDict_SetItemString(solverStateDict, "TIMEOUT",  PyLong_FromUint32(triton::engines::solver::TIMEOUT));
        xPyDict_SetItemString(solverStateDict, "UNKNOWN",  PyLong_FromUint32(triton::engines::solver::UNKNOWN));
        xPyDict_SetItemString(solverStateDict, "UNSAT",    PyLong_FromUint32(triton::engines::solver::UNSAT));
      }
 
    }; /* python namespace */
  }; /* bindings namespace */
}; /* triton namespace */