A B C D E F G H I K L M N P R S T U V

A

AbstractDTLearner<M extends net.automatalib.automata.concepts.SuffixOutput<I,O>,I,O,SP,TP> - Class in de.learnlib.algorithms.discriminationtree

AbstractDTLearner(Alphabet<I>, MembershipOracle<I, O>, LocalSuffixFinder<? super I, ? super O>, boolean, DiscriminationTree<I, O, HState<I, O, SP, TP>>) - Constructor for class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

AbstractDTLearner.BuilderDefaults - Class in de.learnlib.algorithms.discriminationtree

AbstractDTLearner.BuilderDefaults() - Constructor for class de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults

addChild(O, D) - Method in class de.learnlib.discriminationtree.DTNode

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

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

B

BinaryDTNode<I,D> - Class in de.learnlib.discriminationtree

BinaryDTNode(D) - Constructor for class de.learnlib.discriminationtree.BinaryDTNode

BinaryDTNode(DTNode<I, Boolean, D>, Boolean, D) - Constructor for class de.learnlib.discriminationtree.BinaryDTNode

BinaryDTree<I,D> - Class in de.learnlib.discriminationtree

BinaryDTree(D, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.discriminationtree.BinaryDTree

BinaryDTree(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.discriminationtree.BinaryDTree

BooleanMap<V> - Class in de.learnlib.discriminationtree

BooleanMap() - Constructor for class de.learnlib.discriminationtree.BooleanMap

BooleanMap(V, V) - Constructor for class de.learnlib.discriminationtree.BooleanMap

C

child(O) - Method in class de.learnlib.discriminationtree.DTNode

child(O, D) - Method in class de.learnlib.discriminationtree.DTNode

children - Variable in class de.learnlib.discriminationtree.DTNode

clear() - Method in class de.learnlib.discriminationtree.BooleanMap

containsKey(Object) - Method in class de.learnlib.discriminationtree.BooleanMap

containsValue(Object) - Method in class de.learnlib.discriminationtree.BooleanMap

createChild(Boolean, D) - Method in class de.learnlib.discriminationtree.BinaryDTNode

createChild(O, D) - Method in class de.learnlib.discriminationtree.DTNode

createChild(O, D) - Method in class de.learnlib.discriminationtree.MultiDTNode

createChildMap() - Method in class de.learnlib.discriminationtree.BinaryDTNode

createChildMap() - Method in class de.learnlib.discriminationtree.DTNode

createChildMap() - Method in class de.learnlib.discriminationtree.MultiDTNode

createState(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

createState(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

currentTarget() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

D

data - Variable in class de.learnlib.discriminationtree.DTNode

de.learnlib.algorithms.discriminationtree - package de.learnlib.algorithms.discriminationtree

de.learnlib.algorithms.discriminationtree.dfa - package de.learnlib.algorithms.discriminationtree.dfa

de.learnlib.algorithms.discriminationtree.hypothesis - package de.learnlib.algorithms.discriminationtree.hypothesis

de.learnlib.algorithms.discriminationtree.mealy - package de.learnlib.algorithms.discriminationtree.mealy

de.learnlib.discriminationtree - package de.learnlib.discriminationtree

depth - Variable in class de.learnlib.discriminationtree.DTNode

DiscriminationTree<I,O,D> - Class in de.learnlib.discriminationtree

DiscriminationTree(DTNode<I, O, D>, MembershipOracle<I, O>) - Constructor for class de.learnlib.discriminationtree.DiscriminationTree

DiscriminationTree.GraphView - Class in de.learnlib.discriminationtree

DiscriminationTree.GraphView() - Constructor for class de.learnlib.discriminationtree.DiscriminationTree.GraphView

DiscriminationTree.LCAInfo<I,O,D> - Class in de.learnlib.discriminationtree

discriminator - Variable in class de.learnlib.discriminationtree.DTNode

DTLearnerDFA<I> - Class in de.learnlib.algorithms.discriminationtree.dfa

Algorithm for learning DFA using the Discrimination Tree algorithm.

DTLearnerDFA(Alphabet<I>, MembershipOracle<I, Boolean>, LocalSuffixFinder<? super I, ? super Boolean>, boolean, boolean) - Constructor for class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA

Constructor.

DTLearnerDFA.BuilderDefaults - Class in de.learnlib.algorithms.discriminationtree.dfa

DTLearnerDFA.BuilderDefaults() - Constructor for class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA.BuilderDefaults

DTLearnerHypothesis<I,O,SP,TP> - Class in de.learnlib.algorithms.discriminationtree.hypothesis

Basic hypothesis data structure for Discrimination Tree learning algorithms.

DTLearnerHypothesis(Alphabet<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

DTLearnerHypothesis.GraphView - Class in de.learnlib.algorithms.discriminationtree.hypothesis

DTLearnerHypothesis.GraphView() - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

DTLearnerMealy<I,O> - Class in de.learnlib.algorithms.discriminationtree.mealy

DTLearnerMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, LocalSuffixFinder<? super I, ? super Word<O>>, boolean) - Constructor for class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy

Constructor.

DTNode<I,O,D> - Class in de.learnlib.discriminationtree

DTNode(D) - Constructor for class de.learnlib.discriminationtree.DTNode

DTNode(DTNode<I, O, D>, O, D) - Constructor for class de.learnlib.discriminationtree.DTNode

DTNode.SplitResult<I,O,D> - Class in de.learnlib.discriminationtree

DTNode.SplitResult(DTNode<I, O, D>, DTNode<I, O, D>) - Constructor for class de.learnlib.discriminationtree.DTNode.SplitResult

dtree - Variable in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

E

entrySet() - Method in class de.learnlib.discriminationtree.BooleanMap

epsilonRoot() - Static method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA.BuilderDefaults

F

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

G

get(boolean) - Method in class de.learnlib.discriminationtree.BooleanMap

get(Object) - Method in class de.learnlib.discriminationtree.BooleanMap

getAccessSequence() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getAccessSequence() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

getChild(O) - Method in class de.learnlib.discriminationtree.DTNode

getChildEntries() - Method in class de.learnlib.discriminationtree.DTNode

getData() - Method in class de.learnlib.discriminationtree.DTNode

getDepth() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getDiscriminationTree() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

getDiscriminator() - Method in class de.learnlib.discriminationtree.DTNode

getDT() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

getDTLeaf() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getGraphDOTHelper() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

getGraphDOTHelper() - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView

getHypothesisDS() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

getHypothesisModel() - Method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA

getHypothesisModel() - Method in class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy

getId() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getInitialState() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getNode(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

getNodeId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

getNodes() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

getNodes() - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView

getOutgoingEdges(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

getOutgoingEdges(DTNode<I, O, D>) - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView

getOutgoingTransitions() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getProperty() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getProperty() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

getRoot() - Method in class de.learnlib.discriminationtree.DiscriminationTree

getSource() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

getState(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getStateId(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getStateProperty(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getStates() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getSuccessor(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getSymbol() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

getTarget(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

getTarget(Map.Entry<O, DTNode<I, O, D>>) - Method in class de.learnlib.discriminationtree.DiscriminationTree.GraphView

getTransition(HState<I, O, SP, TP>, I) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getTransition(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getTransitionProperty(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

getTreeIncoming() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

getTreeTarget() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

graphView() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

graphView() - Method in class de.learnlib.discriminationtree.DiscriminationTree

H

HState<I,O,SP,TP> - Class in de.learnlib.algorithms.discriminationtree.hypothesis

HState(int) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.HState

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

HTransition<I,O,SP,TP> - Class in de.learnlib.algorithms.discriminationtree.hypothesis

HTransition(HState<I, O, SP, TP>, I, DTNode<I, O, HState<I, O, SP, TP>>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

hypothesis - Variable in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

I

initializeState(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

isAccessSequence(Word<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

isEmpty() - Method in class de.learnlib.discriminationtree.BooleanMap

isLeaf() - Method in class de.learnlib.discriminationtree.DTNode

isTree() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

K

keySet() - Method in class de.learnlib.discriminationtree.BooleanMap

L

lcaInfo(DTNode<I, O, D>, DTNode<I, O, D>) - Method in class de.learnlib.discriminationtree.DiscriminationTree

leastCommonAncestor - Variable in class de.learnlib.discriminationtree.DiscriminationTree.LCAInfo

leastCommonAncestor(DTNode<I, O, D>, DTNode<I, O, D>) - Method in class de.learnlib.discriminationtree.DiscriminationTree

M

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

MultiDTNode<I,O,D> - Class in de.learnlib.discriminationtree

MultiDTNode(D) - Constructor for class de.learnlib.discriminationtree.MultiDTNode

MultiDTNode(DTNode<I, O, D>, O, D) - Constructor for class de.learnlib.discriminationtree.MultiDTNode

MultiDTree<I,O,D> - Class in de.learnlib.discriminationtree

MultiDTree(MembershipOracle<I, O>) - Constructor for class de.learnlib.discriminationtree.MultiDTree

MultiDTree(D, MembershipOracle<I, O>) - Constructor for class de.learnlib.discriminationtree.MultiDTree

N

nodeIDs() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis.GraphView

nodeNew - Variable in class de.learnlib.discriminationtree.DTNode.SplitResult

nodeOld - Variable in class de.learnlib.discriminationtree.DTNode.SplitResult

nonTreeTarget() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

P

parent - Variable in class de.learnlib.discriminationtree.DTNode

parentOutcome - Variable in class de.learnlib.discriminationtree.DTNode

put(boolean, V) - Method in class de.learnlib.discriminationtree.BooleanMap

put(Boolean, V) - Method in class de.learnlib.discriminationtree.BooleanMap

putAll(Map<? extends Boolean, ? extends V>) - Method in class de.learnlib.discriminationtree.BooleanMap

R

refineHypothesis(DefaultQuery<I, O>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

refineHypothesisSingle(DefaultQuery<I, O>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

remove(Object) - Method in class de.learnlib.discriminationtree.BooleanMap

repeatedCounterexampleEvaluation() - Static method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults

S

setData(D) - Method in class de.learnlib.discriminationtree.DTNode

setDT(DTNode<I, O, HState<I, O, SP, TP>>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

setDTLeaf(DTNode<I, O, HState<I, O, SP, TP>>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

setProperty(SP) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

setProperty(TP) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HTransition

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

sift(Word<I>) - Method in class de.learnlib.discriminationtree.DiscriminationTree

sift(DTNode<I, O, D>, Word<I>) - Method in class de.learnlib.discriminationtree.DiscriminationTree

size() - Method in class de.learnlib.discriminationtree.BooleanMap

split(Word<I>, O, O, D) - Method in class de.learnlib.discriminationtree.DTNode

spQuery(HState<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

spQuery(HState<I, Boolean, Boolean, Void>) - Method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA

spQuery(HState<I, Word<O>, Void, O>) - Method in class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy

startLearning() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

stateIDs() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

subtree1Label - Variable in class de.learnlib.discriminationtree.DiscriminationTree.LCAInfo

subtree2Label - Variable in class de.learnlib.discriminationtree.DiscriminationTree.LCAInfo

suffixFinder() - Static method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner.BuilderDefaults

T

toString() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.HState

tpQuery(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

tpQuery(HTransition<I, Boolean, Boolean, Void>) - Method in class de.learnlib.algorithms.discriminationtree.dfa.DTLearnerDFA

tpQuery(HTransition<I, Word<O>, Void, O>) - Method in class de.learnlib.algorithms.discriminationtree.mealy.DTLearnerMealy

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.DTLearnerHypothesis

U

updateHypothesis() - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

updateTransition(HTransition<I, O, SP, TP>) - Method in class de.learnlib.algorithms.discriminationtree.AbstractDTLearner

V

values() - Method in class de.learnlib.discriminationtree.BooleanMap

A B C D E F G H I K L M N P R S T U V