Class OPLearnerHypothesis<I,O,SP,TP>
- java.lang.Object
-
- de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis<I,O,SP,TP>
-
- Type Parameters:
I
- input symbol typeO
- SUL output typeSP
- state property typeTP
- 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
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Method Detail
-
getTransition
public HTransition<I,O,SP,TP> getTransition(HState<I,O,SP,TP> state, I symbol)
- Specified by:
getTransition
in interfaceDeterministicTransitionSystem<I,O,SP>
-
getInitialState
public HState<I,O,SP,TP> getInitialState()
- Specified by:
getInitialState
in interfaceSimpleDTS<I,O>
-
getStateProperty
public SP getStateProperty(HState<I,O,SP,TP> state)
- Specified by:
getStateProperty
in interfaceUniversalTransitionSystem<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 interfaceUniversalTransitionSystem<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 interfaceStateIDs<I>
-
transformAccessSequence
public Word<I> transformAccessSequence(Word<I> word)
- Specified by:
transformAccessSequence
in interfaceAccessSequenceTransformer<I>
-
isAccessSequence
public boolean isAccessSequence(Word<I> word)
- Specified by:
isAccessSequence
in interfaceAccessSequenceTransformer<I>
-
getSuccessor
public HState<I,O,SP,TP> getSuccessor(HTransition<I,O,SP,TP> trans)
- Specified by:
getSuccessor
in interfaceTransitionSystem<I,O,SP>
-
addAlphabetSymbol
public void addAlphabetSymbol(I symbol)
- Specified by:
addAlphabetSymbol
in interfaceSupportsGrowingAlphabet<I>
-
getStates
public Collection<HState<I,O,SP,TP>> getStates()
- Specified by:
getStates
in interfaceSimpleAutomaton<I,O>
-
stateIDs
public StateIDs<HState<I,O,SP,TP>> stateIDs()
- Specified by:
stateIDs
in interfaceSimpleAutomaton<I,O>
-
graphView
public OPLearnerHypothesis.GraphView graphView()
- Specified by:
graphView
in interfaceGraphViewable
-
-