S
- state classI
- input symbol classT
- transition classpublic abstract class AbstractDeterministicAutomaton<S,I,T> extends AbstractDTS<S,I,T> implements DeterministicAutomaton<S,I,T>
Constructor and Description |
---|
AbstractDeterministicAutomaton() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
Iterator<S> |
iterator() |
int |
size()
Retrieves the size (number of states) of this transition system.
|
StateIDs<S> |
stateIDs() |
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStates
forEach, spliterator
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public int size()
SimpleAutomaton
size
in interface SimpleAutomaton<S,I>
public <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>
createStaticStateMapping
in class AbstractTS<S,I,T>
Copyright © 2015. All rights reserved.