Lines Matching refs:NULL
174 if (old != NULL) {
175 con_iterptrs(old, NULL, decptr);
184 #define BAILOUT(exception, string) {PyErr_SetString(exception, string); return (NULL);}
208 PyVarObject_HEAD_INIT(NULL, 0)
210 PyObject_HEAD_INIT(NULL)
257 if (self->msat_instance != NULL)
285 if ((self = (msat_solver *) type->tp_alloc(type, 0)) == NULL)
286 return (NULL);
294 if ((self->msat_instance = solver_new()) == NULL) {
296 return (NULL);
304 if (prototype_solver == NULL) {
306 return (NULL);
356 return (NULL);
369 return (NULL);
404 if ((is = (int *) alloc_refcntptr(n * sizeof (int))) == NULL) {
406 return (NULL);
441 return (NULL);
443 if ((is = msat_unpack_integers(list, &n)) == NULL)
444 return (NULL);
475 static char *kwlist[] = {"assume", "limit", NULL};
482 return (NULL);
484 if ((as = msat_unpack_integers(assume, &n)) == NULL)
485 return (NULL);
491 as = NULL;
492 as_top = NULL;
497 if (as != NULL)
517 return (NULL);
538 METH_VARARGS, NULL},
540 METH_VARARGS, NULL},
542 METH_VARARGS, NULL},
553 { NULL, NULL, 0, NULL}
558 {NULL} /* Sentinel */
565 NULL,
577 return NULL;