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

A

AbstractHypTrans<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

AbstractHypTrans(Word<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

AbstractVPALearner<I> - Class in de.learnlib.algorithm.observationpack.vpa

AbstractVPALearner(VPAlphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

add(AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList

add(DTNode<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.BlockList

addAll(TransList<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList

addIncoming(AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

alphabet - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

analyzer - Variable in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

B

BlockList<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

BlockList() - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.BlockList

buildQuery(DTNode<I>, Word<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree

C

checkEffects(Boolean, Boolean) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex

chooseMinimal() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList

closeTransitions() - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

computeEffect(int) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex

ContextPair<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

ContextPair(Word<I>, Word<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair

create() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

createChild(Boolean, HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

createChildMap() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

createLocation(boolean, AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

createLocation(AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

D

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

This package (and sub-packages) provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.

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

DTNode<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

DTNode(DTNode<I>, boolean) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

DTNode(DTNode<I>, boolean, HypLoc<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

dtree - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

DTree<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

DTree(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree

G

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

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

getAlphabet() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

getAnalyzer() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

getBaseState() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex

getDefinitiveSuccessor(State<HypLoc<I>>, Word<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

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

getHypothesisModel() - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

getIncoming() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

getIndex() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

getInitialLocation() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getInternalSuccessor(HypLoc<I>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getInternalTransition(int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

getInternalTransition(HypLoc<I>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getInternalTransition(State<HypLoc<I>>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getLeaf() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

getLength() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair

getLocation(int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getLocationId(HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getLocations() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getNonTreeTarget() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

getOracle() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

getPrefix() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair

getReturnSuccessor(HypLoc<I>, I, int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getReturnTransition(int, int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

getReturnTransition(HypLoc<I>, I, int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getReturnTransition(HypLoc<I>, I, HypLoc<I>, I) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

getSuffix() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.ContextPair

getSuffix() - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex

getTargetLocation() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

getTargetNode() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

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

H

HypIntTrans<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

HypIntTrans(HypLoc<I>, I) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypIntTrans

HypLoc<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

HypLoc(VPAlphabet<I>, int, boolean, AbstractHypTrans<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

hypothesis - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

HypRetTrans<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

HypRetTrans(HypLoc<I>, I, I, HypLoc<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypRetTrans

I

initialize() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

initializeLocation(HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

isAccepting() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

isAcceptingLocation(HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

isRoot() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

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

L

link(DTNode<I>, HypLoc<I>) - Static method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

M

makeTree(AbstractHypTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

makeTree(HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

O

OneSEVPAHypothesis<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

OneSEVPAHypothesis(VPAlphabet<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

openTransitions - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

OPLearnerVPA<I> - Class in de.learnlib.algorithm.observationpack.vpa

OPLearnerVPA(VPAlphabet<I>, MembershipOracle.DFAMembershipOracle<I>, AcexAnalyzer) - Constructor for class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

OPLearnerVPA.PrefixTransformAcex - Class in de.learnlib.algorithm.observationpack.vpa

OPLearnerVPABuilder<I> - Class in de.learnlib.algorithm.observationpack.vpa

OPLearnerVPABuilder() - Constructor for class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

oracle - Variable in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

P

poll() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList

PrefixTransformAcex(Word<I>, ContextPair<I>) - Constructor for class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA.PrefixTransformAcex

prev - Variable in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

Q

query(AccessSequenceProvider<I>, ContextPair<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

R

refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

refineHypothesisSingle(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

refineHypothesisSingle(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

removeFromList() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

S

setAccepting(boolean) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

setAlphabet(VPAlphabet<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

setAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

setInternalTransition(int, HypIntTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

setLeaf(DTNode<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

setNonTreeTarget(DTNode<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

setOracle(MembershipOracle.DFAMembershipOracle<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

setReturnTransition(int, int, HypRetTrans<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

sift(DTNode<I>, Word<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree

sift(DTNode<I>, Word<I>, boolean) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree

sift(List<DTNode<I>>, List<Word<I>>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree

sift(List<DTNode<I>>, List<Word<I>>, boolean) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTree

size() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.OneSEVPAHypothesis

split(ContextPair<I>, Map<Boolean, DTNode<I>>) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

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

subtreeLocations() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

subtreeLocsIterator() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

T

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

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

transformAccessSequence(StackContents) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

transformAccessSequence(StackContents, HypLoc<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

transformAccessSequence(State<HypLoc<I>>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

TransList<I> - Class in de.learnlib.algorithm.observationpack.vpa.hypothesis

TransList() - Constructor for class de.learnlib.algorithm.observationpack.vpa.hypothesis.TransList

U

updateDTTargets(List<AbstractHypTrans<I>>, boolean) - Method in class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

updateIncoming() - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.DTNode

updateStackAlphabetSize(int) - Method in class de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc

W

withAlphabet(VPAlphabet<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

withAnalyzer(AcexAnalyzer) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

withOracle(MembershipOracle.DFAMembershipOracle<I>) - Method in class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPABuilder

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