/** 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); }
/** 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); }
/** 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); }
/** Equality comparison. */ public boolean equals(lalr_item_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw error from here (because superclass doesn't) so crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(lalr_item_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw error from here (because superclass doesn't) so crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(lalr_item_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw error from here (because superclass doesn't) so crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(lalr_item_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw error from here (because superclass doesn't) so crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(lalr_item_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw error from here (because superclass doesn't) so crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(lalr_item_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw error from here (because superclass doesn't) so crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(lalr_item_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw error from here (because superclass doesn't) so crash */ e.crash(); return false; } }