A C D G H I K L M N O P Q R S W
All Classes All Packages

A

AbstractDecisionTree<I,D> - Class in de.learnlib.algorithm.oml.ttt.dt

AbstractDecisionTree(Alphabet<I>, MembershipOracle<I, D>, STNode<I>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

AbstractDTNode<I,D> - Class in de.learnlib.algorithm.oml.ttt.dt

AbstractDTNode(DTInnerNode<I, D>, AbstractDecisionTree<I, D>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.AbstractDTNode

AbstractOptimalTTT<M,I,D> - Class in de.learnlib.algorithm.oml.ttt

AbstractOptimalTTT(Alphabet<I>, MembershipOracle<I, D>) - Constructor for class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

addChild(D, AbstractDTNode<I, D>) - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children

addShortPrefix(PTNode<I, D>) - Method in class de.learnlib.algorithm.oml.ttt.dt.DTLeaf

all() - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children

alphabet - Variable in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

append(I) - Method in interface de.learnlib.algorithm.oml.ttt.pt.PTNode

append(I) - Method in class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl

C

child(D) - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children

Children<I,D> - Interface in de.learnlib.algorithm.oml.ttt.dt

D

de.learnlib.algorithm.oml - package de.learnlib.algorithm.oml

This package (and sub-packages) provides the implementations of various learning algorithms based on the "optimal MAT learning" concept as described in the paper Active Automata Learning as Black-Box Search and Lazy Partition Refinement by Falk Howar and Bernhard Steffen.

de.learnlib.algorithm.oml.lstar - package de.learnlib.algorithm.oml.lstar

de.learnlib.algorithm.oml.ttt - package de.learnlib.algorithm.oml.ttt

de.learnlib.algorithm.oml.ttt.dfa - package de.learnlib.algorithm.oml.ttt.dfa

de.learnlib.algorithm.oml.ttt.dt - package de.learnlib.algorithm.oml.ttt.dt

de.learnlib.algorithm.oml.ttt.mealy - package de.learnlib.algorithm.oml.ttt.mealy

de.learnlib.algorithm.oml.ttt.pt - package de.learnlib.algorithm.oml.ttt.pt

de.learnlib.algorithm.oml.ttt.st - package de.learnlib.algorithm.oml.ttt.st

DTInnerNode<I,D> - Class in de.learnlib.algorithm.oml.ttt.dt

DTInnerNode(DTInnerNode<I, D>, AbstractDecisionTree<I, D>, Children<I, D>, STNode<I>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.DTInnerNode

DTLeaf<I,D> - Class in de.learnlib.algorithm.oml.ttt.dt

DTLeaf(DTInnerNode<I, D>, AbstractDecisionTree<I, D>, PTNode<I, D>) - Constructor for class de.learnlib.algorithm.oml.ttt.dt.DTLeaf

dtree() - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

dtree() - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

dtree() - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

G

getChildren() - Method in class de.learnlib.algorithm.oml.ttt.dt.DTInnerNode

getHypothesisModel() - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA

getHypothesisModel() - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy

getHypothesisModel() - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

getHypothesisModel() - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

getInputAlphabet() - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

getOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA

getOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy

getShortPrefixes() - Method in class de.learnlib.algorithm.oml.ttt.dt.DTLeaf

getState(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

getState(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

getState(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

H

hypOutput(Word<I>) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

hypOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

hypOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

hypOutput(Word<I>, int) - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

I

isCanonical() - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

isCanonical() - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

isCanonical() - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

K

key(AbstractDTNode<I, D>) - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children

L

leaves() - Method in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

M

makeConsistent() - Method in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

makeShortPrefix() - Method in interface de.learnlib.algorithm.oml.ttt.pt.PTNode

makeShortPrefix() - Method in class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl

makeShortPrefix(PTNode<I, D>) - Method in class de.learnlib.algorithm.oml.ttt.dt.DTLeaf

maxSearchIndex(int) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

maxSearchIndex(int) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

maxSearchIndex(int) - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

mqOracle - Variable in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

N

newChildren() - Method in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

O

OptimalLStarDFA<I> - Class in de.learnlib.algorithm.oml.lstar

OptimalLStarDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA

OptimalLStarDFA(Alphabet<I>, MembershipOracle<I, Boolean>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA

OptimalLStarMealy<I,O> - Class in de.learnlib.algorithm.oml.lstar

OptimalLStarMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy

OptimalLStarMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy

OptimalLStarState<I,D> - Class in de.learnlib.algorithm.oml.lstar

State class for making OptimalLStarDFA and OptimalLStarMealy resumable.

OptimalTTTDFA<I> - Class in de.learnlib.algorithm.oml.ttt.dfa

OptimalTTTDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

OptimalTTTDFA(Alphabet<I>, MembershipOracle<I, Boolean>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

OptimalTTTMealy<I,O> - Class in de.learnlib.algorithm.oml.ttt.mealy

OptimalTTTMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

OptimalTTTMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

P

path() - Method in class de.learnlib.algorithm.oml.ttt.dt.AbstractDTNode

PrefixTree<I,D> - Class in de.learnlib.algorithm.oml.ttt.pt

PrefixTree() - Constructor for class de.learnlib.algorithm.oml.ttt.pt.PrefixTree

prepend(I) - Method in interface de.learnlib.algorithm.oml.ttt.st.STNode

PTNode<I,D> - Interface in de.learnlib.algorithm.oml.ttt.pt

PTNodeImpl<I,D> - Class in de.learnlib.algorithm.oml.ttt.pt

PTNodeImpl(PTNodeImpl<I, D>, I) - Constructor for class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl

ptree - Variable in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

Q

query(PTNode<I, D>, STNode<I>) - Method in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

R

refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

refineIfPossible() - Method in class de.learnlib.algorithm.oml.ttt.dt.DTLeaf

replace(DTLeaf<I, D>, DTInnerNode<I, D>) - Method in interface de.learnlib.algorithm.oml.ttt.dt.Children

root - Variable in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

root() - Method in class de.learnlib.algorithm.oml.ttt.pt.PrefixTree

root() - Method in class de.learnlib.algorithm.oml.ttt.st.SuffixTrie

rowForState(Word<I>) - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA

rowForState(Word<I>) - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy

S

setRoot(AbstractDTNode<I, D>) - Method in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

setState(DTLeaf<I, D>) - Method in interface de.learnlib.algorithm.oml.ttt.pt.PTNode

setState(DTLeaf<I, D>) - Method in class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl

sift(PTNode<I, D>) - Method in class de.learnlib.algorithm.oml.ttt.dt.AbstractDecisionTree

size() - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarDFA

size() - Method in class de.learnlib.algorithm.oml.lstar.OptimalLStarMealy

split(PTNode<I, D>, PTNode<I, D>, I) - Method in class de.learnlib.algorithm.oml.ttt.dt.DTLeaf

startLearning() - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

state() - Method in interface de.learnlib.algorithm.oml.ttt.pt.PTNode

state() - Method in class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl

STNode<I> - Interface in de.learnlib.algorithm.oml.ttt.st

strie - Variable in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

succ(I) - Method in interface de.learnlib.algorithm.oml.ttt.pt.PTNode

succ(I) - Method in class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl

suffix(D, int) - Method in class de.learnlib.algorithm.oml.ttt.AbstractOptimalTTT

suffix(Boolean, int) - Method in class de.learnlib.algorithm.oml.ttt.dfa.OptimalTTTDFA

suffix(Word<O>, int) - Method in class de.learnlib.algorithm.oml.ttt.mealy.OptimalTTTMealy

SuffixTrie<I> - Class in de.learnlib.algorithm.oml.ttt.st

SuffixTrie() - Constructor for class de.learnlib.algorithm.oml.ttt.st.SuffixTrie

W

word() - Method in interface de.learnlib.algorithm.oml.ttt.pt.PTNode

word() - Method in class de.learnlib.algorithm.oml.ttt.pt.PTNodeImpl

word() - Method in interface de.learnlib.algorithm.oml.ttt.st.STNode

A C D G H I K L M N O P Q R S W
All Classes All Packages