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

/pkg/src/modules/solver/
H A Dsolver.c108 void** ws = vecp_begin(v); local
111 for (; ws[j] != e ; j++);
113 for (; j < vecp_size(v)-1; j++) ws[j] = ws[j+1];
120 void** ws = vecp_begin(v); local
124 if (ws[j] == old)
125 ws[j] = new;
696 vecp* ws = solver_read_wlist(s,p); local
697 clause **begin = (clause**)vecp_begin(ws);
698 clause **end = begin + vecp_size(ws);
[all...]

Completed in 13 milliseconds