Searched refs:lit_neg (Results 1 - 3 of 3) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.h56 static inline lit lit_neg (lit l) { return l ^ 1; } function
H A Dsolver.c305 assert(lit_neg(begin[0]) < s->size*2);
306 assert(lit_neg(begin[1]) < s->size*2);
308 //vecp_push(solver_read_wlist(s,lit_neg(begin[0])),(void*)c);
309 //vecp_push(solver_read_wlist(s,lit_neg(begin[1])),(void*)c);
311 vecp_push(solver_read_wlist(s,lit_neg(begin[0])),(void*)(size > 2 ? c : clause_from_lit(begin[1])));
312 vecp_push(solver_read_wlist(s,lit_neg(begin[1])),(void*)(size > 2 ? c : clause_from_lit(begin[0])));
320 assert(lit_neg(lits[0]) < s->size*2);
321 assert(lit_neg(lits[1]) < s->size*2);
323 //vecp_remove(solver_read_wlist(s,lit_neg(lits[0])),(void*)c);
324 //vecp_remove(solver_read_wlist(s,lit_neg(lit
[all...]
H A Dpy_solver.c421 is[i] = (l > 0) ? toLit(v) : lit_neg(toLit(v));

Completed in 9 milliseconds