A C D E F G H I M N O R S T U W
All Classes All Packages

A

AbstractOPLearner<M extends SuffixOutput<I,D>,I,D,SP,TP> - Class in de.learnlib.algorithm.observationpack

AbstractOPLearner(Alphabet<I>, MembershipOracle<I, D>, LocalSuffixFinder<? super I, ? super D>, boolean, AbstractWordBasedDiscriminationTree<I, D, HState<I, D, SP, TP>>) - Constructor for class de.learnlib.algorithm.observationpack.AbstractOPLearner

AbstractOPLearner.BuilderDefaults - Class in de.learnlib.algorithm.observationpack

addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

addNonTreeIncoming(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

appendAccessSequence(List<? super I>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

C

create() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

create() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

create() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

createInitialState() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

createState(HTransition<I, D, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

createState(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

currentTarget() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

D

de.learnlib.algorithm.observationpack - package de.learnlib.algorithm.observationpack

This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.

de.learnlib.algorithm.observationpack.dfa - package de.learnlib.algorithm.observationpack.dfa

de.learnlib.algorithm.observationpack.hypothesis - package de.learnlib.algorithm.observationpack.hypothesis

de.learnlib.algorithm.observationpack.mealy - package de.learnlib.algorithm.observationpack.mealy

de.learnlib.algorithm.observationpack.moore - package de.learnlib.algorithm.observationpack.moore

E

ensureInputCapacity(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

See ResizingArrayStorage.ensureCapacity(int).

F

fetchNonTreeIncoming(Collection<? super HTransition<I, O, SP, TP>>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

G

getAccessSequence() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getAccessSequence() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

getAlphabet() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

getAlphabet() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

getAlphabet() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

getDepth() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getDiscriminationTree() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

getDT() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

getDTLeaf() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getEpsilonRoot() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

getHypothesisDS() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFA

getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy

getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMoore

getId() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getInitialState() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getNode(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

getNodeId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

getNodes() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

getOracle() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

getOracle() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

getOracle() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

getOutgoingEdges(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

getOutgoingTransitions() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getProperty() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getProperty() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

getRepeatedCounterexampleEvaluation() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

getSource() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

getState(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getStateId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getStateProperty(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getStates() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getSuccessor(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getSuffixFinder() - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

getSuffixFinder() - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

getSuffixFinder() - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

getSymbol() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

getTarget(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

getTransition(int) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getTransition(HState<I, O, SP, TP>, I) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getTransitionProperty(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

getTreeIncoming() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

getTreeTarget() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

getVisualizationHelper() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

graphView() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

GraphView() - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

H

HState<I,O,SP,TP> - Class in de.learnlib.algorithm.observationpack.hypothesis

HState(int) - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.HState

HState(int, int, HTransition<I, O, SP, TP>) - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.HState

HTransition<I,O,SP,TP> - Class in de.learnlib.algorithm.observationpack.hypothesis

HTransition(HState<I, O, SP, TP>, I, AbstractWordBasedDTNode<I, O, HState<I, O, SP, TP>>) - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.HTransition

I

initializeState(HState<I, D, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

isAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

isNonTree() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

isTree() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

M

makeTree(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

N

nodeIDs() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis.GraphView

nonTreeTarget() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

O

OPLearnerDFA<I> - Class in de.learnlib.algorithm.observationpack.dfa

Algorithm for learning DFA using the Discrimination Tree algorithm.

OPLearnerDFA(Alphabet<I>, MembershipOracle<I, Boolean>, LocalSuffixFinder<? super I, ? super Boolean>, boolean, boolean) - Constructor for class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFA

Constructor.

OPLearnerDFABuilder<I> - Class in de.learnlib.algorithm.observationpack.dfa

OPLearnerDFABuilder() - Constructor for class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

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

Basic hypothesis data structure for Discrimination Tree learning algorithms.

OPLearnerHypothesis(Alphabet<I>) - Constructor for class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

OPLearnerHypothesis.GraphView - Class in de.learnlib.algorithm.observationpack.hypothesis

OPLearnerMealy<I,O> - Class in de.learnlib.algorithm.observationpack.mealy

OPLearnerMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, LocalSuffixFinder<? super I, ? super Word<O>>, boolean) - Constructor for class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy

Constructor.

OPLearnerMealyBuilder<I,O> - Class in de.learnlib.algorithm.observationpack.mealy

OPLearnerMealyBuilder() - Constructor for class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

OPLearnerMoore<I,O> - Class in de.learnlib.algorithm.observationpack.moore

A MooreMachine-based specialization of the DT learner.

OPLearnerMoore(Alphabet<I>, MembershipOracle<I, Word<O>>, LocalSuffixFinder<? super I, ? super Word<O>>, boolean) - Constructor for class de.learnlib.algorithm.observationpack.moore.OPLearnerMoore

OPLearnerMooreBuilder<I,O> - Class in de.learnlib.algorithm.observationpack.moore

OPLearnerMooreBuilder() - Constructor for class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

OPLearnerState<I,D,SP,TP> - Class in de.learnlib.algorithm.observationpack

Class that contains all data that represent the internal state of the OPLearnerState learner and its DFA and Mealy implementations.

R

refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

refineHypothesisSingle(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

repeatedCounterexampleEvaluation() - Static method in class de.learnlib.algorithm.observationpack.AbstractOPLearner.BuilderDefaults

resume(OPLearnerState<I, D, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

S

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

setDT(AbstractWordBasedDTNode<I, O, HState<I, O, SP, TP>>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

setDTLeaf(AbstractWordBasedDTNode<I, O, HState<I, O, SP, TP>>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

setEpsilonRoot(boolean) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

setProperty(SP) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

setProperty(TP) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HTransition

setRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

setRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

setRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

setSuffixFinder(LocalSuffixFinder<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

setSuffixFinder(LocalSuffixFinder<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

setSuffixFinder(LocalSuffixFinder<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

setTransition(int, HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

spQuery(HState<I, D, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

spQuery(HState<I, Boolean, Boolean, Void>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFA

spQuery(HState<I, Word<O>, Void, O>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy

spQuery(HState<I, Word<O>, O, Void>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMoore

startLearning() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

stateIDs() - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

suffixFinder() - Static method in class de.learnlib.algorithm.observationpack.AbstractOPLearner.BuilderDefaults

suspend() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

T

toString() - Method in class de.learnlib.algorithm.observationpack.hypothesis.HState

tpQuery(HTransition<I, D, SP, TP>) - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

tpQuery(HTransition<I, Boolean, Boolean, Void>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFA

tpQuery(HTransition<I, Word<O>, Void, O>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealy

tpQuery(HTransition<I, Word<O>, O, Void>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMoore

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithm.observationpack.hypothesis.OPLearnerHypothesis

U

updateHypothesis() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

updateTransitions() - Method in class de.learnlib.algorithm.observationpack.AbstractOPLearner

W

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

withEpsilonRoot(boolean) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

withRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

withRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

withRepeatedCounterexampleEvaluation(boolean) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

withSuffixFinder(LocalSuffixFinder<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder

withSuffixFinder(LocalSuffixFinder<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder

withSuffixFinder(LocalSuffixFinder<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder

A C D E F G H I M N O R S T U W
All Classes All Packages