Module de.learnlib.algorithm.ttt

Package de.learnlib.algorithm.ttt.base

Class AbstractTTTHypothesis<S extends TTTState<I,D>,I,D,T>

java.lang.Object

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

Type Parameters:

S - state class type

I - input symbol type

D - output domain type

T - transition type

All Implemented Interfaces:

Iterable<S>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.automaton.concept.InputAlphabetHolder<I>, net.automatalib.automaton.concept.StateIDs<S>, net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T>, net.automatalib.automaton.DeterministicAutomaton.IntAbstraction<T>, net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T>, net.automatalib.automaton.simple.SimpleAutomaton<S,I>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction, net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction, net.automatalib.graph.concept.GraphViewable, net.automatalib.ts.DeterministicTransitionSystem<S,I,T>, net.automatalib.ts.simple.SimpleDTS<S,I>, net.automatalib.ts.simple.SimpleTS<S,I>, net.automatalib.ts.TransitionSystem<S,I,T>

Direct Known Subclasses:

TTTHypothesisDFA, TTTHypothesisMealy, TTTHypothesisMoore

public abstract class AbstractTTTHypothesis<S extends TTTState<I,D>,I,D,T>
extends Object
implements net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T>, net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T>, net.automatalib.automaton.concept.StateIDs<S>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>

Hypothesis DFA for the TTT algorithm.

Nested Class Summary

Nested Classes

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

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

net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T extends Object>, net.automatalib.automaton.DeterministicAutomaton.IntAbstraction<T extends Object>, net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object>

Field Summary

Fields

Modifier and Type	Field	Description
protected List<S>	states

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

INVALID_STATE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
S	createState(TTTTransition<I,D> parent)
net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T>	fullIntAbstraction(net.automatalib.alphabet.Alphabet<I> alphabet)
S	getInitialState()
net.automatalib.alphabet.Alphabet<I>	getInputAlphabet()
TTTTransition<I,D>	getInternalTransition(TTTState<I,D> state, int input)
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.
int	getIntInitialState()
int	getIntSuccessor(T trans)
S	getState(int id)
int	getStateId(S state)
Collection<S>	getStates()
T	getTransition(int stateId, int symIdx)
@Nullable T	getTransition(S state, I input)
AbstractTTTHypothesis.GraphView	graphView()
S	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 abstract S	newState(int alphabetSize, TTTTransition<I,D> parent, int id)
int	numInputs()
int	size()
net.automatalib.automaton.concept.StateIDs<S>	stateIDs()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.automaton.Automaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton

fullIntAbstraction, stateIntAbstraction

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

getSuccessor

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, powersetView

Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton

getTransitions, transitionGraphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

createDynamicStateMapping, createStaticStateMapping, iterator

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors

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

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

Field Detail

states

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

Constructor Detail

AbstractTTTHypothesis

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

Constructor.

Parameters:

alphabet - the input alphabet

Method Detail

getInitialState

public S getInitialState()

Specified by:

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

getTransition

public T getTransition(int stateId,
                       int symIdx)

Specified by:

getTransition in interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<S extends TTTState<I,D>>

getTransition

public @Nullable T getTransition(S state,
                                 I input)

Specified by:

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

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 S initialize()

Initializes the automaton, adding an initial state. Whether 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 S createState(TTTTransition<I,D> parent)

newState

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

getInputAlphabet

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

Specified by:

getInputAlphabet in interface net.automatalib.automaton.concept.InputAlphabetHolder<S extends TTTState<I,D>>

graphView

public AbstractTTTHypothesis.GraphView graphView()

Specified by:

graphView in interface net.automatalib.automaton.FiniteAlphabetAutomaton<S extends TTTState<I,D>,I,D>

Specified by:

graphView in interface net.automatalib.graph.concept.GraphViewable

getIntInitialState

public int getIntInitialState()

Specified by:

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

numInputs

public int numInputs()

Specified by:

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

getIntSuccessor

public int getIntSuccessor(T trans)

Specified by:

getIntSuccessor in interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction<S extends TTTState<I,D>>

fullIntAbstraction

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

Specified by:

fullIntAbstraction in interface net.automatalib.automaton.DeterministicAutomaton<S extends TTTState<I,D>,I,D>

Specified by:

fullIntAbstraction in interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S extends TTTState<I,D>,I>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface net.automatalib.alphabet.SupportsGrowingAlphabet<S extends TTTState<I,D>>

getStates

public Collection<S> getStates()

Specified by:

getStates in interface net.automatalib.automaton.simple.SimpleAutomaton<S extends TTTState<I,D>,I>

size

public int size()

Specified by:

size in interface net.automatalib.automaton.concept.FiniteRepresentation

Specified by:

size in interface net.automatalib.automaton.simple.SimpleAutomaton<S extends TTTState<I,D>,I>

getStateId

public int getStateId(S state)

Specified by:

getStateId in interface net.automatalib.automaton.concept.StateIDs<S extends TTTState<I,D>>

getState

public S getState(int id)

Specified by:

getState in interface net.automatalib.automaton.concept.StateIDs<S extends TTTState<I,D>>

stateIDs

public net.automatalib.automaton.concept.StateIDs<S> stateIDs()

Specified by:

stateIDs in interface net.automatalib.automaton.simple.SimpleAutomaton<S extends TTTState<I,D>,I>