public void copy(StateSet set){
  if (DEBUG)   Out.dump("StateSet.copy(" + set + ") start");
  if (set == null) {
    for (int i=0; i < bits.length; i++)     bits[i]=0;
    return;
  }
  if (bits.length < set.bits.length) {
    bits=new long[set.bits.length];
  }
 else {
    for (int i=set.bits.length; i < bits.length; i++)     bits[i]=0;
  }
  System.arraycopy(set.bits,0,bits,0,bits.length);
  if (DEBUG) {
    Out.dump("StateSet.copy(" + set + ") end");
    Out.dump("Set is : " + this);
  }
}

public void copy ( StateSet set ) { if ( DEBUG ) Out . dump ( "StateSet.copy(" + set + ") start" ) ; if ( set == null ) { for ( int i = 0 ; i < bits . length ; i ++ ) bits [ i ] = 0 ; return ; } if ( bits . length < set . bits . length ) { bits = new long [ set . bits . length ] ; } else { for ( int i = set . bits . length ; i < bits . length ; i ++ ) bits [ i ] = 0 ; } System . arraycopy ( set . bits , 0 , bits , 0 , bits . length ) ; if ( DEBUG ) { Out . dump ( "StateSet.copy(" + set + ") end" ) ; Out . dump ( "Set is : " + this ) ; } }
copy specified stateset into this .
