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()
Retrieves the size (number of states) of this transition system.
|
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, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessor, getTransitions, powersetView
getStates
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, spliterator
public 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()
SimpleAutomaton
size
in interface SimpleAutomaton<S,I>
Copyright © 2015. All Rights Reserved.