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());
}