public void remove(lalr_item_set other) throws internal_error {
  not_null(other);
  for (Enumeration e=other.all(); e.hasMoreElements(); )   remove((lalr_item)e.nextElement());
}

public void remove ( lalr_item_set other ) throws internal_error { not_null ( other ) ; for ( Enumeration e = other . all ( ) ; e . hasMoreElements ( ) ; ) remove ( ( lalr_item ) e . nextElement ( ) ) ; }
remove ( set subtract ) a complete set .
