A B C D G H I L M O P Q R S T U

A

AbstractHypTrans<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

AbstractHypTrans(Word<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

AbstractVPDALearner<I> - Class in de.learnlib.algorithms.discriminationtree.vpda

AbstractVPDALearner(VPDAlphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

add(DTNode<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.BlockList

add(AbstractHypTrans<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList

addAll(TransList<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList

addIncoming(AbstractHypTrans<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

alphabet - Variable in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

analyzer - Variable in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

B

BlockList<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

BlockList() - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.BlockList

C

checkEffects(Boolean, Boolean) - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA.PrefixTransformAcex

chooseMinimal() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList

closeTransitions() - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

computeEffect(int) - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA.PrefixTransformAcex

ContextPair<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

ContextPair(Word<I>, Word<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.ContextPair

createChild(Boolean, HypLoc<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

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

createLocation(boolean, Word<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

createLocation(boolean, AbstractHypTrans<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

createLocation(AbstractHypTrans<I>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

createLocation(Word<I>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

D

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

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

DTLearnerVPDA<I> - Class in de.learnlib.algorithms.discriminationtree.vpda

DTLearnerVPDA(VPDAlphabet<I>, MembershipOracle<I, Boolean>, AcexAnalyzer) - Constructor for class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

DTLearnerVPDA.PrefixTransformAcex - Class in de.learnlib.algorithms.discriminationtree.vpda

DTNode<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

DTNode(DTNode<I>, boolean) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

DTNode(DTNode<I>, boolean, HypLoc<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

DTree<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

DTree(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree

DTree(DTNode<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree

dtree - Variable in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

G

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

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

getBaseState() - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA.PrefixTransformAcex

getDefinitiveSuccessor(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

getHypothesisModel() - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

getIncoming() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

getIndex() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

getInitialLocation() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getInternalSuccessor(HypLoc<I>, I) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getInternalTransition(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

getInternalTransition(State<HypLoc<I>>, I) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getInternalTransition(HypLoc<I>, I) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getIntSymbol() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypIntTrans

getLeaf() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

getLength() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.ContextPair

getLocation(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getLocationId(HypLoc<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getLocations() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getNonTreeTarget() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

getPrefix() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.ContextPair

getReturnSuccessor(HypLoc<I>, I, int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getReturnTransition(int, int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

getReturnTransition(HypLoc<I>, I, int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getReturnTransition(HypLoc<I>, I, HypLoc<I>, I) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

getSuffix() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.ContextPair

getSuffix() - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA.PrefixTransformAcex

getTargetLocation() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

getTargetNode() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

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

H

HypIntTrans<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

HypIntTrans(HypLoc<I>, I) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypIntTrans

HypLoc<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

HypLoc(VPDAlphabet<I>, int, boolean, AbstractHypTrans<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

HypLoc(VPDAlphabet<I>, int, boolean, Word<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

hypothesis - Variable in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

HypRetTrans<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

HypRetTrans(HypLoc<I>, I, I, HypLoc<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypRetTrans

I

initialize() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

initializeLocation(HypLoc<I>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

isAccepting() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

isAcceptingLocation(HypLoc<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

isInternal() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

isInternal() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypIntTrans

isInternal() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypRetTrans

isRoot() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

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

L

link(DTNode<I>, HypLoc<I>) - Static method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

M

makeTree(HypLoc<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

makeTree(AbstractHypTrans<I>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

O

OneSEVPAHypothesis<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

OneSEVPAHypothesis(VPDAlphabet<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

openTransitions - Variable in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

oracle - Variable in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

P

poll() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList

PrefixTransformAcex(Word<I>, ContextPair<I>) - Constructor for class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA.PrefixTransformAcex

prev - Variable in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

Q

query(AccessSequenceProvider<I>, ContextPair<I>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

R

refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

refineHypothesisSingle(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

refineHypothesisSingle(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

removeFromList() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

S

setAccepting(boolean) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

setInternalTransition(int, HypIntTrans<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

setLeaf(DTNode<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

setNonTreeTarget(DTNode<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans

setReturnTransition(int, int, HypRetTrans<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

sift(DTNode<I>, Word<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree

sift(DTNode<I>, Word<I>, boolean) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree

sift(AccessSequenceProvider<I>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree

sift(DTNode<I>, AccessSequenceProvider<I>, boolean) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree

size() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.OneSEVPAHypothesis

size() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList

split(ContextPair<I>, Map<Boolean, DTNode<I>>) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

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

subtreeLocations() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

subtreeLocsIterator() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

T

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

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

transformAccessSequence(State<HypLoc<I>>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

transformAccessSequence(StackContents) - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

transformAccessSequence(StackContents, HypLoc<I>) - Method in class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

TransList<I> - Class in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

TransList() - Constructor for class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList

U

updateDTTarget(AbstractHypTrans<I>, boolean) - Method in class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

updateIncoming() - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode

updateStackAlphabetSize(int) - Method in class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

A B C D G H I L M O P Q R S T U