S
- state class.I
- input symbol class.public interface SimpleAutomaton<S,I> extends SimpleTS<S,I>, Iterable<S>
SimpleTS
with a finite number of states.Modifier and Type | Method and Description |
---|---|
default <V> MutableMapping<S,V> |
createDynamicStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
default <V> MutableMapping<S,V> |
createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data with this transition system's states. |
Collection<S> |
getStates()
Retrieves all states of the transition system.
|
default Iterator<S> |
iterator() |
default int |
size()
Retrieves the size (number of states) of this transition system.
|
default StateIDs<S> |
stateIDs() |
getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, spliterator
Collection<S> getStates()
default <V> MutableMapping<S,V> createStaticStateMapping()
SimpleTS
MutableMapping
allowing to associate arbitrary data with this transition system's states. The
returned mapping is however only guaranteed to work correctly if the transition system is not modified.createStaticStateMapping
in interface SimpleTS<S,I>
default <V> MutableMapping<S,V> createDynamicStateMapping()
SimpleTS
MutableMapping
allowing to associate arbitrary data with this transition system's states. The
returned mapping maintains the association even when the transition system is modified.createDynamicStateMapping
in interface SimpleTS<S,I>
default int size()
Copyright © 2020. All rights reserved.