Ejemplos de SymbolicExpression::getExpression en C++ (Cpp)

Ejemplo n.º 1

Archivo: PySymbolicExpression.cpp Proyecto: shenyanjun/Triton

static PyObject *SymbolicExpression_getNewAst(PyObject *self, PyObject *noarg) {
  SymbolicExpression *expression = PySymbolicExpression_AsSymbolicExpression(self);
  return PySmtAstNode(smt2lib::newInstance(expression->getExpression()));
}

Ejemplo n.º 2

Archivo: PySymbolicExpression.cpp Proyecto: shenyanjun/Triton

static PyObject *SymbolicExpression_getAst(PyObject *self, PyObject *noarg) {
  SymbolicExpression *expression = PySymbolicExpression_AsSymbolicExpression(self);
  return PySmtAstNode(expression->getExpression());
}