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 |
---|---|
Collection<S> |
getStates()
Retrieves all states of the transition system.
|
int |
size()
Retrieves the size (number of states) of this transition system.
|
StateIDs<S> |
stateIDs() |
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, iterator, spliterator
@Nonnull Collection<S> getStates()
int size()
Copyright © 2015. All rights reserved.