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

Interface Region

  • All Superinterfaces:
    java.util.Collection<State>, java.lang.Iterable<State>, java.util.Set<State>
    All Known Implementing Classes:
    RegionImpl
    public interface Region
extends java.util.Set<State>

    • Method Summary

      All Methods Instance Methods Abstract 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 isValidRegion()  

      • 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

    • Method Detail

      • getEntering

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

      • getExiting

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

      • getInternal

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

      • getExternal

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

      • isValidRegion

        boolean isValidRegion()