home *** CD-ROM | disk | FTP | other *** search
- package COM.objectspace.jgl;
-
- /** @deprecated */
- public class OrderedMultiSet extends OrderedSet {
- public OrderedMultiSet() {
- super.myTree = new Tree(false, true, this);
- }
-
- public OrderedMultiSet(BinaryPredicate var1) {
- super.myTree = new Tree(false, true, var1, this);
- }
-
- public OrderedMultiSet(OrderedMultiSet var1) {
- super(var1);
- }
-
- public synchronized Object clone() {
- return new OrderedMultiSet(this);
- }
-
- public synchronized void copy(OrderedMultiSet var1) {
- super.copy(var1);
- }
-
- public synchronized String toString() {
- return "OrderedMultiSet" + Printing.toString(this.start(), this.finish());
- }
-
- public boolean equals(Object var1) {
- return var1 instanceof OrderedMultiSet && this.equals((OrderedMultiSet)var1);
- }
-
- public synchronized boolean equals(OrderedMultiSet var1) {
- return super.equals(var1);
- }
-
- public synchronized void swap(OrderedMultiSet var1) {
- super.swap(var1);
- }
- }
-