org.processmining.framework.models
Class RegionList
java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractList<E>
java.util.ArrayList<Region>
org.processmining.framework.models.RegionList
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Region>, java.util.Collection<Region>, java.util.List<Region>, java.util.RandomAccess
public class RegionList
- extends java.util.ArrayList<Region>
Title:
Description:
Copyright: Copyright (c) 2004
Company:
- Version:
- 1.0
- Author:
- not attributable
- See Also:
- Serialized Form
Fields inherited from class java.util.AbstractList |
modCount |
Methods inherited from class java.util.ArrayList |
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, remove, removeRange, set, size, toArray, toArray, trimToSize |
Methods inherited from class java.util.AbstractList |
equals, hashCode, iterator, listIterator, listIterator, subList |
Methods inherited from class java.util.AbstractCollection |
containsAll, removeAll, retainAll, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.List |
containsAll, equals, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList |
RegionList
public RegionList()
addAndRemoveLarger
public void addAndRemoveLarger(Region r)
removeComplements
public void removeComplements()
removeComplement
public boolean removeComplement(Region r)
retainMinimal
public void retainMinimal()
getPreRegions
public java.util.ArrayList getPreRegions(LogEvent obj)
- getPreRegions
- Parameters:
obj
- LogEvent
- Returns:
- HashSet
getPostRegions
public java.util.ArrayList getPostRegions(LogEvent obj)
- getPreRegions
- Parameters:
obj
- LogEvent
- Returns:
- HashSet
removeEmpty
public void removeEmpty()
- removeEmpty
removeRegionsWithEmptyInput
public void removeRegionsWithEmptyInput(java.util.Collection objects)
removeRegionsWithEmptyOutput
public void removeRegionsWithEmptyOutput(java.util.Collection objects)