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 |
---|---|
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, 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, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public AbstractDeterministicAutomaton()
public int size()
SimpleAutomaton
size
in interface SimpleAutomaton<S,I>
Copyright © 2015. All Rights Reserved.