S - state class.I - input symbol class.T - transition class.public abstract class AbstractAutomaton<S,I,T> extends AbstractTS<S,I,T> implements Automaton<S,I,T>
| Constructor and Description |
|---|
AbstractAutomaton() |
| Modifier and Type | Method and Description |
|---|---|
Iterator<S> |
iterator() |
static <S,I,T> Iterator<S> |
iterator(Automaton<S,I,T> $this)
Provides a realization of
Iterable.iterator() using
Iterable.iterator(). |
int |
size() |
static <S,I,T> int |
size(Automaton<S,I,T> $this)
Provides a realization of
SimpleAutomaton.size() using
SimpleAutomaton.getStates(). |
StateIDs<S> |
stateIDs() |
static <S,I,T> StateIDs<S> |
stateIDs(Automaton<S,I,T> $this)
Provides a realization of
SimpleAutomaton.stateIDs() using
a SimpleStateIDs object. |
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetSuccessor, getTransitions, powersetViewgetStatescreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorspublic AbstractAutomaton()
public static <S,I,T> int size(Automaton<S,I,T> $this)
SimpleAutomaton.size() using
SimpleAutomaton.getStates().SimpleAutomaton.size()public static <S,I,T> Iterator<S> iterator(Automaton<S,I,T> $this)
Iterable.iterator() using
Iterable.iterator().Iterable.iterator()public static <S,I,T> StateIDs<S> stateIDs(Automaton<S,I,T> $this)
SimpleAutomaton.stateIDs() using
a SimpleStateIDs object.SimpleAutomaton.stateIDs()public int size()
size in interface SimpleAutomaton<S,I>Copyright © 2013. All Rights Reserved.