Skip navigation links
org.processmining.onlineconformance.models

Interface StubbornSemantics<M,S,T>

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method and Description
      java.util.List<java.util.Collection<T>> getStubbornSets(java.util.List<java.util.Collection<T>> known, S state, java.util.List<java.util.Collection<T>> ignore)
      returns all stubborn sets for a given state given that we know that there are some existing sets [][] known, and, a set of [][] known stubborn sets that we wish to ignore
      java.util.List<java.util.Collection<T>> getStubbornSets(S state)
      returns all stubborn sets for a given state
      boolean isStubborn(java.util.Collection<T> set, S state)
      check whether the given set of transitions is stubborn given the state
      java.util.List<java.util.Collection<T>> retain(java.util.List<java.util.Collection<T>> sets, T action)
      retains all sets that do not contain the action, i.e., property of stubborn sets: a stubborn set remains stubborn if a transition outside of it is performed.
      java.util.List<java.util.Collection<T>> updateIgnoreSets(java.util.List<java.util.Collection<T>> ignore, S state)
      will return those ignore sets that at least contain an enabled transition.
    • Method Detail

      • getStubbornSets

        java.util.List<java.util.Collection<T>> getStubbornSets(S state)
        returns all stubborn sets for a given state
        Parameters:
        state -
        Returns:
      • getStubbornSets

        java.util.List<java.util.Collection<T>> getStubbornSets(java.util.List<java.util.Collection<T>> known,
                                                                S state,
                                                                java.util.List<java.util.Collection<T>> ignore)
        returns all stubborn sets for a given state given that we know that there are some existing sets [][] known, and, a set of [][] known stubborn sets that we wish to ignore
        Parameters:
        known -
        state -
        ignore -
        Returns:
      • isStubborn

        boolean isStubborn(java.util.Collection<T> set,
                           S state)
        check whether the given set of transitions is stubborn given the state
        Parameters:
        set - potential stubborn set
        state - in model
        Returns:
        true iff set is stubborn in state
      • retain

        java.util.List<java.util.Collection<T>> retain(java.util.List<java.util.Collection<T>> sets,
                                                       T action)
        retains all sets that do not contain the action, i.e., property of stubborn sets: a stubborn set remains stubborn if a transition outside of it is performed.
        Parameters:
        sets -
        action -
        Returns:
      • updateIgnoreSets

        java.util.List<java.util.Collection<T>> updateIgnoreSets(java.util.List<java.util.Collection<T>> ignore,
                                                                 S state)
        will return those ignore sets that at least contain an enabled transition.
        Parameters:
        ignore -
        state -
        Returns: