org.processmining.onlineconformance.models

Interface StubbornSemantics<M,S,T>

Type Parameters:

M -

S -

T -

All Known Implementing Classes:

StubbornSemanticsPetrinetImpl, StubbornSemanticsTrivialImpl

public interface StubbornSemantics<M,S,T>

given a model type , state in model type and state-state transition type this provider allows us to answer questions regarding the

Author:

svzelst

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	StubbornSemantics.Factory

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.

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: