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;
  }
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 ; }
Returns a full model in all variables for the given BDD.
@param r the BDD root node
@return a full model of this BDD