Lines Matching defs:args
202 static int msat_init(msat_solver * self, PyObject *args, PyObject *kwds);
204 msat_new(PyTypeObject *type, PyObject *args, PyObject *kwds);
279 msat_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
283 int arg_count = PyTuple_Size(args);
303 prototype_solver = (msat_solver *) PyTuple_GetItem(args, 0);
333 msat_init(msat_solver * self, PyObject *args, PyObject *kwds)
340 msat_reset(msat_solver *self, PyObject *args)
351 msat_set_verbosity(msat_solver *self, PyObject *args)
355 if (!PyArg_ParseTuple(args, "i", &index))
364 msat_adjust(msat_solver *self, PyObject *args)
368 if (!PyArg_ParseTuple(args, "i", &index))
377 msat_get_variables(msat_solver *self, PyObject *args)
387 msat_get_added_clauses(msat_solver *self, PyObject *args)
430 msat_add_clause(msat_solver *self, PyObject *args)
440 if (!PyArg_ParseTuple(args, "O", &list))
466 msat_solve(msat_solver *self, PyObject *args, PyObject *keywds)
480 if (!PyArg_ParseTupleAndKeywords(args, keywds, "|Oi", kwlist,
509 msat_dereference(msat_solver *self, PyObject *args)
516 if (!PyArg_ParseTuple(args, "i", &literal))