/* process the list of pending constraints */ protected void processWorklist() { int iter = 0; while (!w.isEmpty()) { int size = w.size(); Constraint c = w.removeFirst(); c.accept(this); size -= w.size(); iter++; } }