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()
@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>
default int size()
Copyright © 2019. All rights reserved.