net.automatalib.automata.abstractimpl

Class AbstractDeterministicAutomaton<S,I,T>

java.lang.Object

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

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

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

Type Parameters:

S - state class

I - input symbol class

T - transition class

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>

Direct Known Subclasses:

AbstractDFA, AbstractMutableDeterministic

public abstract class AbstractDeterministicAutomaton<S,I,T>
extends AbstractDTS<S,I,T>
implements DeterministicAutomaton<S,I,T>

Abstract base class for deterministic automata.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractDeterministicAutomaton()

Method Summary

Methods

Modifier and Type	Method and Description
Iterator<S>	iterator()
int	size()
StateIDs<S>	stateIDs()

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

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

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.automata.simple.SimpleAutomaton

getStates

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

getInitialState, getState, getSuccessor, getSuccessor

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

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

Constructor Detail

AbstractDeterministicAutomaton

public AbstractDeterministicAutomaton()

Method Detail

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>