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>>, Automaton<TTTState<I,D>,I,T>, InputAlphabetHolder<I>, DeterministicAutomaton<TTTState<I,D>,I,T>, DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, FiniteAlphabetAutomaton<TTTState<I,D>,I,T>, SimpleAutomaton<TTTState<I,D>,I>, SimpleDeterministicAutomaton<TTTState<I,D>,I>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, GraphViewable, SupportsGrowingAlphabet<I>, DeterministicTransitionSystem<TTTState<I,D>,I,T>, SimpleDTS<TTTState<I,D>,I>, SimpleTS<TTTState<I,D>,I>, TransitionSystem<TTTState<I,D>,I,T>

Direct Known Subclasses:

TTTHypothesisDFA, TTTHypothesisMealy

public abstract class AbstractTTTHypothesis<I,D,T>
extends Object
implements DeterministicAutomaton<TTTState<I,D>,I,T>, FiniteAlphabetAutomaton<TTTState<I,D>,I,T>, DeterministicAutomaton.FullIntAbstraction<T>, SupportsGrowingAlphabet<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

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected 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(Alphabet<I> alphabet) Constructor.

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
TTTState<I,D>	createState(TTTTransition<I,D> parent)
DeterministicAutomaton.FullIntAbstraction<T>	fullIntAbstraction(Alphabet<I> alphabet)
TTTState<I,D>	getInitialState()
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

createDynamicStateMapping, createStaticStateMapping, iterator, stateIDs

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

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 Alphabet<I> alphabet

Constructor Detail

AbstractTTTHypothesis

public AbstractTTTHypothesis(Alphabet<I> alphabet)

Constructor.

Parameters:

alphabet - the input alphabet

Method Detail

getInitialState

public TTTState<I,D> getInitialState()

Specified by:

getInitialState in interface SimpleDTS<TTTState<I,D>,I>

getTransition

public T getTransition(int stateId,
                       int symIdx)

Specified by:

getTransition in interface DeterministicAutomaton.FullIntAbstraction<T>

getTransition

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

Specified by:

getTransition in interface 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 Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

graphView

public AbstractTTTHypothesis.GraphView graphView()

Specified by:

graphView in interface FiniteAlphabetAutomaton<TTTState<I,D>,I,T>

Specified by:

graphView in interface GraphViewable

getIntInitialState

public int getIntInitialState()

Specified by:

getIntInitialState in interface SimpleDeterministicAutomaton.IntAbstraction

numInputs

public int numInputs()

Specified by:

numInputs in interface SimpleDeterministicAutomaton.FullIntAbstraction

getIntSuccessor

public int getIntSuccessor(T trans)

Specified by:

getIntSuccessor in interface DeterministicAutomaton.IntAbstraction<T>

fullIntAbstraction

public DeterministicAutomaton.FullIntAbstraction<T> fullIntAbstraction(Alphabet<I> alphabet)

Specified by:

fullIntAbstraction in interface DeterministicAutomaton<TTTState<I,D>,I,T>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<TTTState<I,D>,I>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

getStates

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

Specified by:

getStates in interface SimpleAutomaton<TTTState<I,D>,I>

size

public int size()

Specified by:

size in interface SimpleAutomaton<TTTState<I,D>,I>

Specified by:

size in interface SimpleDeterministicAutomaton.IntAbstraction