org.processmining.models.graphbased.directed.transitionsystem.regions

Class RegionImpl

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<E>

java.util.LinkedHashSet<State>

org.processmining.models.graphbased.directed.transitionsystem.regions.RegionImpl

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<State>, java.util.Collection<State>, java.util.Set<State>, Region

public class RegionImpl
extends java.util.LinkedHashSet<State>
implements Region

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
RegionImpl()

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Set<java.lang.Object>	getEntering()
java.util.Set<java.lang.Object>	getExiting()
java.util.Set<java.lang.Object>	getExternal()
java.util.Set<java.lang.Object>	getInternal()
void	initialize(TransitionSystem ts)
boolean	isDis_ent_ex()
boolean	isDis_ent_ext()
boolean	isDis_ent_int()
boolean	isDis_ex_ext()
boolean	isDis_ex_int()
boolean	isValidRegion()

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Constructor Detail

RegionImpl

public RegionImpl()

Method Detail

getEntering

public java.util.Set<java.lang.Object> getEntering()

Specified by:

getEntering in interface Region

getExiting

public java.util.Set<java.lang.Object> getExiting()

Specified by:

getExiting in interface Region

getInternal

public java.util.Set<java.lang.Object> getInternal()

Specified by:

getInternal in interface Region

getExternal

public java.util.Set<java.lang.Object> getExternal()

Specified by:

getExternal in interface Region

isValidRegion

public boolean isValidRegion()

Specified by:

isValidRegion in interface Region

initialize

public void initialize(TransitionSystem ts)

Specified by:

initialize in interface Region

isDis_ent_ex

public boolean isDis_ent_ex()

isDis_ent_int

public boolean isDis_ent_int()

isDis_ent_ext

public boolean isDis_ent_ext()

isDis_ex_int

public boolean isDis_ex_int()

isDis_ex_ext

public boolean isDis_ex_ext()