M
- S
- T
- public interface StubbornSemantics<M,S,T>
Modifier and Type | Interface and Description |
---|---|
static class |
StubbornSemantics.Factory |
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.
|
java.util.List<java.util.Collection<T>> getStubbornSets(S state)
state
- 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)
known
- state
- ignore
- boolean isStubborn(java.util.Collection<T> set, S state)
set
- potential stubborn setstate
- in modeljava.util.List<java.util.Collection<T>> retain(java.util.List<java.util.Collection<T>> sets, T action)
sets
- action
-