Searched defs:as (Results 1 - 3 of 3) sorted by relevance

/pkg/src/modules/
H A D_varcet.c82 char *as = PyBytes_AS_STRING(attr); local
83 if (strncmp(as, "facet.", 6) != 0)
128 if (strncmp(as, "facet.debug.", 12) == 0 ||
129 strncmp(as, "facet.optional.", 15) == 0) {
203 char *as = PyBytes_AS_STRING(attr); local
204 if (strncmp(as, "variant.", 8) == 0) {
214 if ((strncmp(as, "variant.", 8) == 0) &&
/pkg/src/modules/solver/
H A Dpy_solver.c468 int *as; local
484 if ((as = msat_unpack_integers(assume, &n)) == NULL)
488 as_top = &(as[n]);
490 dec_refcntptr(as);
491 as = NULL;
495 ret = solver_solve(self->msat_instance, as, as_top);
497 if (as != NULL)
498 dec_refcntptr(as);
545 "Add another clause (as list of integers) to solution space"},
/pkg/src/modules/actions/
H A D_actions.c452 * sattr, removing backslashes as
495 char *as = PyBytes_AsString(attr); local
496 if (hashstr && strcmp(as, hashstr)) {
531 char *as = PyBytes_AsString(attr); local
532 if (hashstr && strcmp(as, hashstr)) {
588 char *as = PyBytes_AsString(attr); local
589 if (hashstr && strcmp(as, hashstr)) {
721 * Each reference is DECREF'd after retrieval as Python 2.x doesn't
724 * them now ensures that garbage cleanup will work as expected during
725 * process exit. This applies to the action type caching below as wel
[all...]

Completed in 60 milliseconds