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 |
---|---|
<V> MutableMapping<S,V> |
createStaticStateMapping()
Creates a
MutableMapping allowing to associate arbitrary data
with this transition system's states. |
static <S,I,T,V> MutableMapping<S,V> |
createStaticStateMapping(Automaton<S,I,T> $this) |
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, 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, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, spliterator
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 static <S,I,T,V> MutableMapping<S,V> createStaticStateMapping(Automaton<S,I,T> $this)
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.