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> |
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() |
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, spliterator
@Nonnull Collection<S> getStates()
default int size()
@Nonnull 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>
Copyright © 2015. All rights reserved.