C++ (Cpp) SymbolicExpression::getExpression示例

示例#1

文件： PySymbolicExpression.cpp 项目： shenyanjun/Triton

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

示例#2

文件： PySymbolicExpression.cpp 项目： shenyanjun/Triton

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