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

/pkg/src/modules/solver/
H A Dvec.h54 static inline void *veci_dup(veci *new, veci *old) argument
56 *new = *old;
57 new->ptr = (int*)memcpy(malloc(sizeof(int)*new->cap), old->ptr, sizeof(int)*new->cap);
86 static inline void *vecp_dup(vecp *new, vecp *old) argument
88 *new = *old;
89 new->ptr = (void**)memcpy(malloc(sizeof(void*)*new->cap), old->ptr, sizeof(int)*new
[all...]
H A Dpy_solver.c166 container_t *new = con_alloc(old->capacity); local
167 con_iterptrs(old, new, cpyptr);
168 return (new);
290 * to be passed in to initialize the new solver
H A Dsolver.c118 static inline void vecp_replace(vecp* v, void *old, void *new) argument
125 ws[j] = new;
737 // Look for new watch:
1015 clause *new = (clause *)dupalloc(old, clause_bytesize(old)); local
1017 vecp_replace(solver_read_wlist(s, lit_neg(old->lits[0])), old, new); local
1018 vecp_begin(&ns->clauses)[i] = new;
1025 clause *new = (clause *)dupalloc(old, clause_bytesize(old)); local
1027 vecp_replace(solver_read_wlist(s, lit_neg(old->lits[0])), old, new); local
1028 vecp_begin(&ns->learnts)[i] = new;
1115 // create new claus
[all...]

Completed in 14 milliseconds