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

Class 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 Description
      RegionImpl()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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.LinkedHashSet

        spliterator

      • 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.Collection

        parallelStream, removeIf, stream, toArray

      • Methods inherited from interface java.lang.Iterable

        forEach

      • Methods inherited from interface java.util.Set

        add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, spliterator, 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

      • 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()