Searched defs:list (Results 1 - 2 of 2) sorted by relevance
| /pkg/src/modules/solver/ |
| H A D | py_solver.c | 393 msat_unpack_integers(PyObject *list, int *nout) argument
399 if (!PyList_Check(list))
402 n = PyList_Size(list);
414 if ((l = PyInt_AsLong(PyList_GetItem(list, i))) == -1
435 PyObject *list; local
440 if (!PyArg_ParseTuple(args, "O", &list))
443 if ((is = msat_unpack_integers(list, &n)) == NULL)
545 "Add another clause (as list of integers) to solution space"},
|
| /pkg/src/modules/actions/ |
| H A D | _actions.c | 59 PyObject *list; local
73 * PyString_Concat() will steal one, and the list needs
77 * *not* decref after putting into the list.
109 if ((list = PyList_New(2)) == NULL)
114 PyList_SET_ITEM(list, 0, av);
116 PyList_SET_ITEM(list, 1, attr);
117 ret = PyDict_SetItem(attrs, key, list);
118 Py_DECREF(list);
196 * Positional arguments must be included in the keyword argument list in
282 * Unable to build argument list fo
[all...] |
Completed in 208 milliseconds