if (!r.isOne()) loStack.addLast(r);
if (!r.isOne()) loStack.addLast(r.id());
        public AllSatIterator(BDD r) {            f = r.getFactory();            if (r.isZero()) return;            allsatProfile = new byte[f.varNum()];            Arrays.fill(allsatProfile, (byte) -1);            loStack = new LinkedList();            hiStack = new LinkedList();            if (!r.isOne()) loStack.addLast(r);            if (!gotoNext()) allsatProfile = null;        }