M
- S
- T
- public class StubbornSemanticsTrivialImpl<M,S,T> extends java.lang.Object implements StubbornSemantics<M,S,T>
StubbornSemantics.Factory
Constructor and Description |
---|
StubbornSemanticsTrivialImpl() |
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
|
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.
|
public java.util.List<java.util.Collection<T>> getStubbornSets(S state)
StubbornSemantics
getStubbornSets
in interface StubbornSemantics<M,S,T>
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)
StubbornSemantics
getStubbornSets
in interface StubbornSemantics<M,S,T>
public boolean isStubborn(java.util.Collection<T> set, S state)
StubbornSemantics
isStubborn
in interface StubbornSemantics<M,S,T>
set
- potential stubborn setstate
- in modelpublic java.util.List<java.util.Collection<T>> retain(java.util.List<java.util.Collection<T>> sets, T action)
StubbornSemantics
retain
in interface StubbornSemantics<M,S,T>
public java.util.List<java.util.Collection<T>> updateIgnoreSets(java.util.List<java.util.Collection<T>> ignore, S state)
StubbornSemantics
updateIgnoreSets
in interface StubbornSemantics<M,S,T>