Exemple #1
0
static PyObject *SymbolicVariable_hasConcreteValue(PyObject *self, PyObject *noarg)
{
  SymbolicVariable *variable = PySymbolicVariable_AsSymbolicVariable(self);
  if (variable->hasConcreteValue() == true)
    Py_RETURN_TRUE;
  Py_RETURN_FALSE;
}