Module de.learnlib.algorithm.observationpack

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>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.Automaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.automaton.concept.StateIDs<HState<I,O,SP,TP>>, net.automatalib.automaton.DeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, net.automatalib.automaton.simple.SimpleAutomaton<HState<I,O,SP,TP>,I>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<HState<I,O,SP,TP>,I>, net.automatalib.automaton.UniversalAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, net.automatalib.automaton.UniversalDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, net.automatalib.graph.concept.GraphViewable, net.automatalib.ts.DeterministicTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, net.automatalib.ts.simple.SimpleDTS<HState<I,O,SP,TP>,I>, net.automatalib.ts.simple.SimpleTS<HState<I,O,SP,TP>,I>, net.automatalib.ts.TransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, net.automatalib.ts.UniversalDTS<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, net.automatalib.ts.UniversalTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>

public class OPLearnerHypothesis<I,O,SP,TP>
extends Object
implements net.automatalib.automaton.UniversalDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, AccessSequenceTransformer<I>, net.automatalib.automaton.concept.StateIDs<HState<I,O,SP,TP>>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.graph.concept.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

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

Constructor Summary

Constructors

Constructor	Description
OPLearnerHypothesis(net.automatalib.alphabet.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(net.automatalib.word.Word<I> word)
net.automatalib.automaton.concept.StateIDs<HState<I,O,SP,TP>>	stateIDs()
net.automatalib.word.Word<I>	transformAccessSequence(net.automatalib.word.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, powersetView

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

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

getSuccessors

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(net.automatalib.alphabet.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 net.automatalib.ts.DeterministicTransitionSystem<I,O,SP>

getInitialState

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

Specified by:

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

getStateProperty

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

Specified by:

getStateProperty in interface net.automatalib.ts.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 net.automatalib.ts.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 net.automatalib.automaton.concept.StateIDs<I>

getState

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

Specified by:

getState in interface net.automatalib.automaton.concept.StateIDs<I>

transformAccessSequence

public net.automatalib.word.Word<I> transformAccessSequence(net.automatalib.word.Word<I> word)

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>

isAccessSequence

public boolean isAccessSequence(net.automatalib.word.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 net.automatalib.ts.TransitionSystem<I,O,SP>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface net.automatalib.alphabet.SupportsGrowingAlphabet<I>

getStates

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

Specified by:

getStates in interface net.automatalib.automaton.simple.SimpleAutomaton<I,O>

stateIDs

public net.automatalib.automaton.concept.StateIDs<HState<I,O,SP,TP>> stateIDs()

Specified by:

stateIDs in interface net.automatalib.automaton.simple.SimpleAutomaton<I,O>

graphView

public OPLearnerHypothesis.GraphView graphView()

Specified by:

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