code: public int fullSatOne(final int r) {
      if (r == 0)
        return 0;
      initRef();
      int res = fullSatOneRec(r);
      for (int v = level(r) - 1; v >= 0; v--)
        res = pushRef(makeNode(v, res, 0));
      return res;
    }
docs: Returns a full model in all variables for the given BDD.
  @param r the BDD root node
  @return a full model of this BDD