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

/pkg/src/modules/solver/
H A Dsolver.c106 static inline void vecp_remove(vecp* v, void* e) function
323 //vecp_remove(solver_read_wlist(s,lit_neg(lits[0])),(void*)c);
324 //vecp_remove(solver_read_wlist(s,lit_neg(lits[1])),(void*)c);
327 vecp_remove(solver_read_wlist(s,lit_neg(lits[0])),(void*)(clause_size(c) > 2 ? c : clause_from_lit(lits[1])));
328 vecp_remove(solver_read_wlist(s,lit_neg(lits[1])),(void*)(clause_size(c) > 2 ? c : clause_from_lit(lits[0])));

Completed in 8 milliseconds