de.learnlib.algorithms.ttt.base

Class AbstractTTTHypothesis<I,D,T>

java.lang.Object

de.learnlib.algorithms.ttt.base.AbstractTTTHypothesis<I,D,T>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Serializable, Iterable<TTTState<I,D>>, net.automatalib.automata.Automaton<TTTState<I,D>,I,T>, net.automatalib.automata.concepts.InputAlphabetHolder<I>, net.automatalib.automata.DeterministicAutomaton<TTTState<I,D>,I,T>, net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction<T>, net.automatalib.automata.DeterministicAutomaton.IntAbstraction<T>, net.automatalib.automata.FiniteAlphabetAutomaton<TTTState<I,D>,I,T>, net.automatalib.automata.GrowableAlphabetAutomaton<I>, net.automatalib.automata.simple.SimpleAutomaton<TTTState<I,D>,I>, net.automatalib.automata.simple.SimpleDeterministicAutomaton<TTTState<I,D>,I>, net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction, net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction, net.automatalib.graphs.concepts.GraphViewable, net.automatalib.ts.DeterministicTransitionSystem<TTTState<I,D>,I,T>, net.automatalib.ts.simple.SimpleDTS<TTTState<I,D>,I>, net.automatalib.ts.simple.SimpleTS<TTTState<I,D>,I>, net.automatalib.ts.TransitionSystem<TTTState<I,D>,I,T>

Direct Known Subclasses:

TTTHypothesisDFA, TTTHypothesisMealy

public abstract class AbstractTTTHypothesis<I,D,T>
extends Object
implements net.automatalib.automata.DeterministicAutomaton<TTTState<I,D>,I,T>, net.automatalib.automata.FiniteAlphabetAutomaton<TTTState<I,D>,I,T>, net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction<T>, net.automatalib.automata.GrowableAlphabetAutomaton<I>, Serializable

Hypothesis DFA for the TTT algorithm.

Author:

Malte Isberner

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	AbstractTTTHypothesis.GraphView
static class	AbstractTTTHypothesis.TTTEdge<I,D>

Nested classes/interfaces inherited from interface net.automatalib.automata.DeterministicAutomaton

net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction<T>, net.automatalib.automata.DeterministicAutomaton.IntAbstraction<T>, net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction<I,T>

Nested classes/interfaces inherited from interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction<I,T>>

Field Summary

Fields

Modifier and Type	Field and Description
protected net.automatalib.words.Alphabet<I>	alphabet
protected List<TTTState<I,D>>	states

Fields inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
AbstractTTTHypothesis(net.automatalib.words.Alphabet<I> alphabet) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
TTTState<I,D>	createState(TTTTransition<I,D> parent)
net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction<T>	fullIntAbstraction(net.automatalib.words.Alphabet<I> alphabet)
TTTState<I,D>	getInitialState()
net.automatalib.words.Alphabet<I>	getInputAlphabet()
TTTTransition<I,D>	getInternalTransition(TTTState<I,D> state, I input) Retrieves the internal transition (i.e., the TTTTransition object) for a given state and input.
TTTTransition<I,D>	getInternalTransition(TTTState<I,D> state, int input)
int	getIntInitialState()
int	getIntSuccessor(T trans)
Collection<TTTState<I,D>>	getStates()
T	getTransition(int stateId, int symIdx)
T	getTransition(TTTState<I,D> state, I input)
AbstractTTTHypothesis.GraphView	graphView()
TTTState<I,D>	initialize() Initializes the automaton, adding an initial state.
boolean	isInitialized() Checks whether this automaton was initialized (i.e., initialize() has been called).
protected abstract T	mapTransition(TTTTransition<I,D> internalTransition)
protected TTTState<I,D>	newState(int alphabetSize, TTTTransition<I,D> parent, int id)
int	numInputs()
int	size()

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.DeterministicAutomaton

fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.Automaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

createStaticStateMapping, iterator, stateIDs

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

createDynamicStateMapping, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

getSuccessor

Field Detail

states

protected final List<TTTState<I,D>> states

alphabet

protected transient net.automatalib.words.Alphabet<I> alphabet

Constructor Detail

AbstractTTTHypothesis

public AbstractTTTHypothesis(net.automatalib.words.Alphabet<I> alphabet)

Constructor.

Parameters:

alphabet - the input alphabet

Method Detail

getInitialState

public TTTState<I,D> getInitialState()

Specified by:

getInitialState in interface net.automatalib.ts.simple.SimpleDTS<TTTState<I,D>,I>

getTransition

public T getTransition(int stateId,
                       int symIdx)

Specified by:

getTransition in interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction<T>

getTransition

public T getTransition(TTTState<I,D> state,
                       I input)

Specified by:

getTransition in interface net.automatalib.ts.DeterministicTransitionSystem<TTTState<I,D>,I,T>

getInternalTransition

public TTTTransition<I,D> getInternalTransition(TTTState<I,D> state,
                                                I input)

Retrieves the internal transition (i.e., the TTTTransition object) for a given state and input. This method is required since the DFA interface requires the return value of getTransition(TTTState, Object) to refer to the successor state directly.

Parameters:

state - the source state

input - the input symbol triggering the transition

Returns:

the transition object

getInternalTransition

public TTTTransition<I,D> getInternalTransition(TTTState<I,D> state,
                                                int input)

mapTransition

protected abstract T mapTransition(TTTTransition<I,D> internalTransition)

initialize

public TTTState<I,D> initialize()

Initializes the automaton, adding an initial state. Whether or not the initial state is accepting needs to be known at this point.

Returns:

the initial state of this newly initialized automaton

isInitialized

public boolean isInitialized()

Checks whether this automaton was initialized (i.e., initialize() has been called).

Returns:

true if this automaton was initialized, false otherwise.

createState

public TTTState<I,D> createState(TTTTransition<I,D> parent)

newState

protected TTTState<I,D> newState(int alphabetSize,
                                 TTTTransition<I,D> parent,
                                 int id)

getInputAlphabet

public net.automatalib.words.Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface net.automatalib.automata.concepts.InputAlphabetHolder<I>

graphView

public AbstractTTTHypothesis.GraphView graphView()

Specified by:

graphView in interface net.automatalib.automata.FiniteAlphabetAutomaton<TTTState<I,D>,I,T>

Specified by:

graphView in interface net.automatalib.graphs.concepts.GraphViewable

getIntInitialState

public int getIntInitialState()

Specified by:

getIntInitialState in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

numInputs

public int numInputs()

Specified by:

numInputs in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

getIntSuccessor

public int getIntSuccessor(T trans)

Specified by:

getIntSuccessor in interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction<T>

fullIntAbstraction

public net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction<T> fullIntAbstraction(net.automatalib.words.Alphabet<I> alphabet)

Specified by:

fullIntAbstraction in interface net.automatalib.automata.DeterministicAutomaton<TTTState<I,D>,I,T>

Specified by:

fullIntAbstraction in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton<TTTState<I,D>,I>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface net.automatalib.automata.GrowableAlphabetAutomaton<I>

getStates

public Collection<TTTState<I,D>> getStates()

Specified by:

getStates in interface net.automatalib.automata.simple.SimpleAutomaton<TTTState<I,D>,I>

size

public int size()

Specified by:

size in interface net.automatalib.automata.simple.SimpleAutomaton<TTTState<I,D>,I>

Specified by:

size in interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction