libTriton version 1.0 build 1590
Loading...
Searching...
No Matches
initSolverNamespace.cpp
Go to the documentation of this file.
1
2/*
3** Copyright (C) - Triton
4**
5** This program is under the terms of the Apache License 2.0.
6*/
7
12
13
14
35namespace triton {
36 namespace bindings {
37 namespace python {
38
39 void initSolverNamespace(PyObject* solverDict) {
40 PyDict_Clear(solverDict);
41
42 #if defined(TRITON_Z3_INTERFACE)
44 #endif
45 #if defined(TRITON_BITWUZLA_INTERFACE)
47 #endif
48 }
49
50 }; /* python namespace */
51 }; /* bindings namespace */
52}; /* triton namespace */
void initSolverNamespace(PyObject *solverDict)
Initializes the SOLVER python namespace.
PyObject * PyLong_FromUint32(triton::uint32 value)
Returns a pyObject from a triton::uint32.
Definition utils.cpp:305
int xPyDict_SetItemString(PyObject *p, const char *key, PyObject *val)
Same as PyDict_SetItemString but decrements reference on object.
The Triton namespace.