Class RegionSet
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractSet<E>
-
- java.util.HashSet<E>
-
- java.util.LinkedHashSet<Region>
-
- org.processmining.models.graphbased.directed.transitionsystem.regions.RegionSet
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Cloneable,java.lang.Iterable<Region>,java.util.Collection<Region>,java.util.Set<Region>
public class RegionSet extends java.util.LinkedHashSet<Region>
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description RegionSet()
-
Method Summary
-
Methods inherited from class java.util.HashSet
add, clear, clone, contains, isEmpty, iterator, remove, size
-
Methods inherited from class java.util.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString
-
-