Package de.learnlib.algorithm.observationpack.hypothesis

Class OPLearnerHypothesis<I,O,SP,TP>

java.lang.Object

de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis<I,O,SP,TP>

Type Parameters:

I - input symbol type

O - SUL output type

SP - state property type

TP - transition property type

All Implemented Interfaces:

AccessSequenceTransformer<I>, Iterable<HState<I,O,SP,TP>>, SupportsGrowingAlphabet<I>, Automaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, FiniteRepresentation, StateIDs<HState<I,O,SP,TP>>, DeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, SimpleAutomaton<HState<I,O,SP,TP>,I>, SimpleDeterministicAutomaton<HState<I,O,SP,TP>,I>, UniversalAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, UniversalDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, GraphViewable, DeterministicTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, SimpleDTS<HState<I,O,SP,TP>,I>, SimpleTS<HState<I,O,SP,TP>,I>, TransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, UniversalDTS<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, UniversalTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>

public class OPLearnerHypothesis<I,O,SP,TP>
extends Object
implements UniversalDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, AccessSequenceTransformer<I>, StateIDs<HState<I,O,SP,TP>>, SupportsGrowingAlphabet<I>, GraphViewable

Basic hypothesis data structure for Discrimination Tree learning algorithms.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	OPLearnerHypothesis.GraphView

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

UniversalDeterministicAutomaton.FullIntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.IntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object,SP extends Object,TP extends Object>

Constructor Summary

Constructors

Constructor	Description
OPLearnerHypothesis(Alphabet<I> alphabet)

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
HState<I,O,SP,TP>	createInitialState()
HState<I,O,SP,TP>	createState(HTransition<I,O,SP,TP> treeIncoming)
HState<I,O,SP,TP>	getInitialState()
HState<I,O,SP,TP>	getState(int id)
int	getStateId(HState<I,O,SP,TP> state)
SP	getStateProperty(HState<I,O,SP,TP> state)
Collection<HState<I,O,SP,TP>>	getStates()
HState<I,O,SP,TP>	getSuccessor(HTransition<I,O,SP,TP> trans)
HTransition<I,O,SP,TP>	getTransition(HState<I,O,SP,TP> state, I symbol)
TP	getTransitionProperty(HTransition<I,O,SP,TP> trans)
OPLearnerHypothesis.GraphView	graphView()
boolean	isAccessSequence(Word<I> word)
StateIDs<HState<I,O,SP,TP>>	stateIDs()
Word<I>	transformAccessSequence(Word<I> word)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.AccessSequenceTransformer

longestASPrefix

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

createDynamicStateMapping, createStaticStateMapping, iterator, size

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

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

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

OPLearnerHypothesis

public OPLearnerHypothesis(Alphabet<I> alphabet)

Method Detail

createInitialState

public HState<I,O,SP,TP> createInitialState()

createState

public HState<I,O,SP,TP> createState(HTransition<I,O,SP,TP> treeIncoming)

getTransition

public HTransition<I,O,SP,TP> getTransition(HState<I,O,SP,TP> state,
                                                              I symbol)

Specified by:

getTransition in interface DeterministicTransitionSystem<I,O,SP>

getInitialState

public HState<I,O,SP,TP> getInitialState()

Specified by:

getInitialState in interface SimpleDTS<I,O>

getStateProperty

public SP getStateProperty(HState<I,O,SP,TP> state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>

getTransitionProperty

public TP getTransitionProperty(HTransition<I,O,SP,TP> trans)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>

getStateId

public int getStateId(HState<I,O,SP,TP> state)

Specified by:

getStateId in interface StateIDs<I>

getState

public HState<I,O,SP,TP> getState(int id)

Specified by:

getState in interface StateIDs<I>

transformAccessSequence

public Word<I> transformAccessSequence(Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>

isAccessSequence

public boolean isAccessSequence(Word<I> word)

Specified by:

isAccessSequence in interface AccessSequenceTransformer<I>

getSuccessor

public HState<I,O,SP,TP> getSuccessor(HTransition<I,O,SP,TP> trans)

Specified by:

getSuccessor in interface TransitionSystem<I,O,SP>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

getStates

public Collection<HState<I,O,SP,TP>> getStates()

Specified by:

getStates in interface SimpleAutomaton<I,O>

stateIDs

public StateIDs<HState<I,O,SP,TP>> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<I,O>

graphView

public OPLearnerHypothesis.GraphView graphView()

Specified by:

graphView in interface GraphViewable