de.learnlib.algorithms.discriminationtree.hypothesis

Class DTLearnerHypothesis<I,O,SP,TP>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>

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

T - exposed transition

All Implemented Interfaces:

AccessSequenceTransformer<I>, Iterable<HState<I,O,SP,TP>>, net.automatalib.automata.Automaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, net.automatalib.automata.concepts.StateIDs<HState<I,O,SP,TP>>, net.automatalib.automata.DeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>, net.automatalib.automata.simple.SimpleAutomaton<HState<I,O,SP,TP>,I>, net.automatalib.automata.simple.SimpleDeterministicAutomaton<HState<I,O,SP,TP>,I>, net.automatalib.automata.UniversalAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, net.automatalib.automata.UniversalDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, 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 DTLearnerHypothesis<I,O,SP,TP>
extends net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>
implements net.automatalib.automata.UniversalDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>, AccessSequenceTransformer<I>, net.automatalib.automata.concepts.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(net.automatalib.words.Alphabet<I> alphabet)

Method Summary

Methods

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(net.automatalib.words.Word<I> word)
net.automatalib.automata.concepts.StateIDs<HState<I,O,SP,TP>>	stateIDs()
net.automatalib.words.Word<I>	transformAccessSequence(net.automatalib.words.Word<I> word)

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

createStaticStateMapping, iterator, size

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

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.simple.SimpleDTS

getState, getSuccessor, getSuccessor

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

size

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

getTransitions, powersetView

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

DTLearnerHypothesis

public DTLearnerHypothesis(net.automatalib.words.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 net.automatalib.ts.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 net.automatalib.automata.simple.SimpleAutomaton<HState<I,O,SP,TP>,I>

stateIDs

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

Specified by:

stateIDs in interface net.automatalib.automata.simple.SimpleAutomaton<HState<I,O,SP,TP>,I>

Overrides:

stateIDs in class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>>

getInitialState

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

Specified by:

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

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>

getState

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

Specified by:

getState in interface net.automatalib.automata.concepts.StateIDs<HState<I,O,SP,TP>>

getStateId

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

Specified by:

getStateId in interface net.automatalib.automata.concepts.StateIDs<HState<I,O,SP,TP>>

isAccessSequence

public boolean isAccessSequence(net.automatalib.words.Word<I> word)

Specified by:

isAccessSequence in interface AccessSequenceTransformer<I>

transformAccessSequence

public net.automatalib.words.Word<I> transformAccessSequence(net.automatalib.words.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 net.automatalib.ts.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 net.automatalib.ts.UniversalTransitionSystem<HState<I,O,SP,TP>,I,HTransition<I,O,SP,TP>,SP,TP>

graphView

public DTLearnerHypothesis.GraphView graphView()