net.automatalib.automata.abstractimpl

Class AbstractAutomaton<S,I,T>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractAutomaton<S,I,T>

Type Parameters:

S - state class.

I - input symbol class.

T - transition class.

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, SimpleAutomaton<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>

Direct Known Subclasses:

AbstractAutomatonGraph, AbstractFSA, AbstractMutableAutomaton

public abstract class AbstractAutomaton<S,I,T>
extends AbstractTS<S,I,T>
implements Automaton<S,I,T>

Abstract base class for automata.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractAutomaton()

Method Summary

Methods

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.

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

AbstractAutomaton

public AbstractAutomaton()

Method Detail

size

public static <S,I,T> int size(Automaton<S,I,T> $this)

Provides a realization of SimpleAutomaton.size() using SimpleAutomaton.getStates().

See Also:

SimpleAutomaton.size()

iterator

public static <S,I,T> Iterator<S> iterator(Automaton<S,I,T> $this)

Provides a realization of Iterable.iterator() using Iterable.iterator().

See Also:

Iterable.iterator()

stateIDs

public static <S,I,T> StateIDs<S> stateIDs(Automaton<S,I,T> $this)

Provides a realization of SimpleAutomaton.stateIDs() using a SimpleStateIDs object.

See Also:

SimpleAutomaton.stateIDs()

size

public int size()

Specified by:

size in interface SimpleAutomaton<S,I>

iterator

public Iterator<S> iterator()

Specified by:

iterator in interface Iterable<S>

stateIDs

public StateIDs<S> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<S,I>