C++ (Cpp) SymbolicExpression::getExpression Examples

Example #1

File: PySymbolicExpression.cpp Project: shenyanjun/Triton

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

Example #2

File: PySymbolicExpression.cpp Project: shenyanjun/Triton

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