/** Remove a single item if it is in the set. * @param itm the item to remove. */ public void remove(lalr_item itm) throws internal_error { not_null(itm); /* invalidate cached hashcode */ hashcode_cache = null; /* remove it from hash table implementing set */ _all.remove(itm); }
/** Constructor for cloning from another set. * @param other indicates set we should copy from. */ public lalr_item_set(lalr_item_set other) throws internal_error { not_null(other); _all = (Hashtable)other._all.clone(); }
/** Remove a single item if it is in the set. * @param itm the item to remove. */ public void remove(lalr_item itm) throws internal_error { not_null(itm); /* invalidate cached hashcode */ hashcode_cache = null; /* remove it from hash table implementing set */ _all.remove(itm); }
/** Remove a single item if it is in the set. * @param itm the item to remove. */ public void remove(lalr_item itm) throws internal_error { not_null(itm); /* invalidate cached hashcode */ hashcode_cache = null; /* remove it from hash table implementing set */ _all.remove(itm); };
/** Constructor for cloning from another set. * @param other indicates set we should copy from. */ public lalr_item_set(lalr_item_set other) throws internal_error { not_null(other); _all = (Hashtable)other._all.clone(); }
/** Constructor for cloning from another set. * @param other indicates set we should copy from. */ public lalr_item_set(lalr_item_set other) throws internal_error { not_null(other); _all = (Hashtable)other._all.clone(); }
/** Constructor for cloning from another set. * @param other indicates set we should copy from. */ public lalr_item_set(lalr_item_set other) throws internal_error { not_null(other); _all = (Hashtable)other._all.clone(); }
/** Remove a single item if it is in the set. * @param itm the item to remove. */ public void remove(lalr_item itm) throws internal_error { not_null(itm); /* invalidate cached hashcode */ hashcode_cache = null; /* remove it from hash table implementing set */ _all.remove(itm); }
/** Constructor for cloning from another set. * @param other indicates set we should copy from. */ public lalr_item_set(lalr_item_set other) throws internal_error { not_null(other); _all = (Hashtable)other._all.clone(); }
/** Is this set an (improper) superset of another? * @param other the other set in question. */ public boolean is_superset_of(lalr_item_set other) throws internal_error { not_null(other); return other.is_subset_of(this); }
/** Is this set an (improper) superset of another? * @param other the other set in question. */ public boolean is_superset_of(lalr_item_set other) throws internal_error { not_null(other); return other.is_subset_of(this); }
/** Is this set an (improper) superset of another? * @param other the other set in question. */ public boolean is_superset_of(lalr_item_set other) throws internal_error { not_null(other); return other.is_subset_of(this); }
/** Remove (set subtract) a complete set. * @param other the set to remove. */ public void remove(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the removes individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) remove((lalr_item)e.nextElement()); }
/** Add a complete set, merging lookaheads where items are already in * the set * @param other the set to be added. */ public void add(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the adds individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) add((lalr_item)e.nextElement()); }
/** Add a complete set, merging lookaheads where items are already in * the set * @param other the set to be added. */ public void add(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the adds individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) add((lalr_item)e.nextElement()); }
/** Add a complete set, merging lookaheads where items are already in * the set * @param other the set to be added. */ public void add(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the adds individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) add((lalr_item)e.nextElement()); }
/** Remove (set subtract) a complete set. * @param other the set to remove. */ public void remove(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the removes individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) remove((lalr_item)e.nextElement()); }
/** Remove (set subtract) a complete set. * @param other the set to remove. */ public void remove(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the removes individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) remove((lalr_item)e.nextElement()); }
/** Remove (set subtract) a complete set. * @param other the set to remove. */ public void remove(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the removes individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) remove((lalr_item)e.nextElement()); }
/** Remove (set subtract) a complete set. * @param other the set to remove. */ public void remove(lalr_item_set other) throws internal_error { not_null(other); /* walk down the other set and do the removes individually */ for (Enumeration e = other.all(); e.hasMoreElements(); ) remove((lalr_item)e.nextElement()); }