de.learnlib.algorithms.discriminationtree.hypothesis

Class DTLearnerHypothesis<I,O,SP,TP>

java.lang.Object

de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis<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>>, Automaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, 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>, 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 DTLearnerHypothesis<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>>

Basic hypothesis data structure for Discrimination Tree learning algorithms.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	DTLearnerHypothesis.GraphView

Constructor Summary

Constructors

Constructor and Description
DTLearnerHypothesis(Alphabet<I> alphabet)

Method Summary

Modifier and Type	Method and Description
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)
DTLearnerHypothesis.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 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.UniversalAutomaton

transitionGraphView

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

createStaticStateMapping, iterator, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

createDynamicStateMapping, getSuccessors

Constructor Detail

DTLearnerHypothesis

public DTLearnerHypothesis(Alphabet<I> alphabet)

Method Detail

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<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>

getStates

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

Specified by:

getStates in interface SimpleAutomaton<HState<I,O,SP,TP>,I>

stateIDs

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

Specified by:

stateIDs in interface SimpleAutomaton<HState<I,O,SP,TP>,I>

getInitialState

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

Specified by:

getInitialState in interface SimpleDTS<HState<I,O,SP,TP>,I>

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>

getState

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

Specified by:

getState in interface StateIDs<HState<I,O,SP,TP>>

getStateId

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

Specified by:

getStateId in interface StateIDs<HState<I,O,SP,TP>>

isAccessSequence

public boolean isAccessSequence(Word<I> word)

Specified by:

isAccessSequence in interface AccessSequenceTransformer<I>

transformAccessSequence

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

Specified by:

transformAccessSequence in interface AccessSequenceTransformer<I>

getSuccessor

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

Specified by:

getSuccessor in interface TransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,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>

graphView

public DTLearnerHypothesis.GraphView graphView()