org.processmining.onlineconformance.models.impl

Class StubbornSemanticsTrivialImpl<M,S,T>

java.lang.Object

org.processmining.onlineconformance.models.impl.StubbornSemanticsTrivialImpl<M,S,T>

Type Parameters:

M -

S -

T -

All Implemented Interfaces:

StubbornSemantics<M,S,T>

public class StubbornSemanticsTrivialImpl<M,S,T>
extends java.lang.Object
implements StubbornSemantics<M,S,T>

Author:

svzelst

Nested Class Summary

Nested classes/interfaces inherited from interface org.processmining.onlineconformance.models.StubbornSemantics

StubbornSemantics.Factory

Constructor Summary

Constructors

Constructor and Description
StubbornSemanticsTrivialImpl()

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StubbornSemanticsTrivialImpl

public StubbornSemanticsTrivialImpl()

Method Detail

getStubbornSets

public java.util.List<java.util.Collection<T>> getStubbornSets(S state)

Description copied from interface: StubbornSemantics

returns all stubborn sets for a given state

Specified by:

getStubbornSets in interface StubbornSemantics<M,S,T>

Returns:

getStubbornSets

public 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)

Description copied from interface: StubbornSemantics

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

Specified by:

getStubbornSets in interface StubbornSemantics<M,S,T>

Returns:

isStubborn

public boolean isStubborn(java.util.Collection<T> set,
                          S state)

Description copied from interface: StubbornSemantics

check whether the given set of transitions is stubborn given the state

Specified by:

isStubborn in interface StubbornSemantics<M,S,T>

Parameters:

set - potential stubborn set

state - in model

Returns:

true iff set is stubborn in state

retain

public java.util.List<java.util.Collection<T>> retain(java.util.List<java.util.Collection<T>> sets,
                                                      T action)

Description copied from interface: StubbornSemantics

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.

Specified by:

retain in interface StubbornSemantics<M,S,T>

Returns:

updateIgnoreSets

public java.util.List<java.util.Collection<T>> updateIgnoreSets(java.util.List<java.util.Collection<T>> ignore,
                                                                S state)

Description copied from interface: StubbornSemantics

will return those ignore sets that at least contain an enabled transition.

Specified by:

updateIgnoreSets in interface StubbornSemantics<M,S,T>

Returns: