A B C D E G I L M N O P R S T U V W
All Classes All Packages

A

accStatesAreApart(ObservationTree<S, I, O>, Word<I>, Word<I>) - Static method in class de.learnlib.algorithm.lsharp.ApartnessUtil

adaptiveOutputQuery(Word<I>, I, ADSTree<Integer, I, O>) - Method in class de.learnlib.algorithm.lsharp.LSOracle

adaptiveOutputQuery(Word<I>, ADSTree<Integer, I, O>) - Method in class de.learnlib.algorithm.lsharp.LSOracle

addObservation(Word<I>, Word<O>) - Method in class de.learnlib.algorithm.lsharp.LSOracle

addTrans(I, O, Integer) - Method in class de.learnlib.algorithm.lsharp.MapTransitions

addTrans(I, O, Integer) - Method in interface de.learnlib.algorithm.lsharp.TransitionInformation

ADS - de.learnlib.algorithm.lsharp.Rule2

ADS - de.learnlib.algorithm.lsharp.Rule3

ADS<I,O> - Interface in de.learnlib.algorithm.lsharp.ads

ADSNode<I,O> - Class in de.learnlib.algorithm.lsharp.ads

ADSNode() - Constructor for class de.learnlib.algorithm.lsharp.ads.ADSNode

ADSNode(I, Map<O, ADSNode<I, O>>, int) - Constructor for class de.learnlib.algorithm.lsharp.ads.ADSNode

ADSTree<S extends Comparable<S>,I,O> - Class in de.learnlib.algorithm.lsharp.ads

ADSTree(ObservationTree<S, I, O>, Collection<S>, O) - Constructor for class de.learnlib.algorithm.lsharp.ads.ADSTree

answerADSFromTree(ADSTree<Integer, I, O>, Integer) - Method in class de.learnlib.algorithm.lsharp.LSOracle

ApartnessUtil - Class in de.learnlib.algorithm.lsharp

arena - Variable in class de.learnlib.algorithm.lsharp.ads.ArenaTree

ArenaNode<T,P> - Class in de.learnlib.algorithm.lsharp.ads

ArenaNode(Pair<P, Integer>, T) - Constructor for class de.learnlib.algorithm.lsharp.ads.ArenaNode

ArenaNode(T) - Constructor for class de.learnlib.algorithm.lsharp.ads.ArenaNode

ArenaTree<T,P> - Class in de.learnlib.algorithm.lsharp.ads

ArenaTree() - Constructor for class de.learnlib.algorithm.lsharp.ads.ArenaTree

B

buildHypothesis() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

C

checkConsistency(MealyMachine<Integer, I, ?, O>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

checkFrontierConsistency() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

computeOSubtree(ObservationTree<S, I, O>, O, List<S>, O, int) - Static method in class de.learnlib.algorithm.lsharp.ads.ADSTree

computeWitness(ObservationTree<S, I, O>, S, S) - Static method in class de.learnlib.algorithm.lsharp.ApartnessUtil

constructADS(ObservationTree<S, I, O>, Collection<S>, O) - Static method in class de.learnlib.algorithm.lsharp.ads.ADSTree

constructHypothesis() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

create() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Creates a new LSharpMealy instance with the configured parameters.

D

de.learnlib.algorithm.lsharp - package de.learnlib.algorithm.lsharp

de.learnlib.algorithm.lsharp.ads - package de.learnlib.algorithm.lsharp.ads

defaultState() - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

defaultState() - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

E

exploreFrontier(Collection<Word<I>>) - Method in class de.learnlib.algorithm.lsharp.LSOracle

exploreFrontier(Word<I>, I, Collection<Word<I>>) - Method in class de.learnlib.algorithm.lsharp.LSOracle

G

get(int) - Method in class de.learnlib.algorithm.lsharp.ads.ArenaTree

getAccessSeq(Integer) - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

getAccessSeq(S) - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

getAlphabet() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Returns the current value for the parameter alphabet.

getChildNode(O) - Method in class de.learnlib.algorithm.lsharp.ads.ADSNode

getHypothesisModel() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

getInput() - Method in class de.learnlib.algorithm.lsharp.ads.ADSNode

getInputAlphabet() - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

getInputAlphabet() - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

getObservation(Integer, Word<I>) - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

getObservation(S, Word<I>) - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

getOracle() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Returns the current value for the parameter oracle.

getOut(S, I) - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

getOutSucc(I) - Method in class de.learnlib.algorithm.lsharp.MapTransitions

getOutSucc(I) - Method in interface de.learnlib.algorithm.lsharp.TransitionInformation

getOutSucc(Integer, I) - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

getOutSucc(S, I) - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

getRandom() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Returns the current value for the parameter random.

getRule2() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Returns the current value for the parameter rule2.

getRule3() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Returns the current value for the parameter rule3.

getScore() - Method in class de.learnlib.algorithm.lsharp.ads.ADSNode

getScore() - Method in class de.learnlib.algorithm.lsharp.ads.ADSTree

getSinkOutput() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Returns the current value for the parameter sinkOutput.

getSinkState() - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Returns the current value for the parameter sinkState.

getSucc(Integer, Word<I>) - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

getSucc(S, Word<I>) - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

getTransferSeq(Integer, Integer) - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

getTransferSeq(S, S) - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

getTree() - Method in class de.learnlib.algorithm.lsharp.LSOracle

I

identifyFrontier(Word<I>, List<Word<I>>) - Method in class de.learnlib.algorithm.lsharp.LSOracle

identifyFrontierOrBasis(Word<I>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

initObsTree(List<Pair<Word<I>, Word<O>>>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

insertObservation(Integer, Word<I>, Word<O>) - Method in class de.learnlib.algorithm.lsharp.NormalObservationTree

insertObservation(S, Word<I>, Word<O>) - Method in interface de.learnlib.algorithm.lsharp.ObservationTree

L

LSharpMealy<I,O> - Class in de.learnlib.algorithm.lsharp

Implementation of the L^# algorithm for MealyMachines.

LSharpMealy(Alphabet<I>, AdaptiveMembershipOracle<I, O>, Rule2, Rule3, Word<I>, O, Random) - Constructor for class de.learnlib.algorithm.lsharp.LSharpMealy

LSharpMealyBuilder<I,O> - Class in de.learnlib.algorithm.lsharp

A builder for constructing LSharpMealy instances.

LSharpMealyBuilder() - Constructor for class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Creates a new builder (and may set default values for some parameters).

LSOracle<I,O> - Class in de.learnlib.algorithm.lsharp

LSOracle(AdaptiveMembershipOracle<I, O>, NormalObservationTree<I, O>, Rule2, Rule3, Word<I>, O, Random) - Constructor for class de.learnlib.algorithm.lsharp.LSOracle

M

makeObsTreeAdequate() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

makeSink(Integer) - Method in class de.learnlib.algorithm.lsharp.LSOracle

MapTransitions<I,O> - Class in de.learnlib.algorithm.lsharp

MapTransitions(int) - Constructor for class de.learnlib.algorithm.lsharp.MapTransitions

maximalBaseInput(ObservationTree<S, I, O>, Collection<S>, Map<I, Pair<Integer, Integer>>) - Static method in class de.learnlib.algorithm.lsharp.ads.ADSTree

N

nextInput(O) - Method in interface de.learnlib.algorithm.lsharp.ads.ADS

nextInput(O) - Method in class de.learnlib.algorithm.lsharp.ads.ADSTree

node(T) - Method in class de.learnlib.algorithm.lsharp.ads.ArenaTree

nodeWithParent(T, int, P) - Method in class de.learnlib.algorithm.lsharp.ads.ArenaTree

NormalObservationTree<I,O> - Class in de.learnlib.algorithm.lsharp

NormalObservationTree(Alphabet<I>) - Constructor for class de.learnlib.algorithm.lsharp.NormalObservationTree

NOTHING - de.learnlib.algorithm.lsharp.Rule2

O

ObservationTree<S extends Comparable<S>,I,O> - Interface in de.learnlib.algorithm.lsharp

outputQuery(Word<I>) - Method in class de.learnlib.algorithm.lsharp.LSOracle

P

parent - Variable in class de.learnlib.algorithm.lsharp.ads.ArenaNode

processBinarySearch(Word<I>, Word<O>, MealyMachine<Integer, I, ?, O>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

processCex(DefaultQuery<I, Word<O>>, MealyMachine<Integer, I, ?, O>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

promoteFrontierState() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

R

refineHypothesis(DefaultQuery<I, Word<O>>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

resetToRoot() - Method in interface de.learnlib.algorithm.lsharp.ads.ADS

resetToRoot() - Method in class de.learnlib.algorithm.lsharp.ads.ADSTree

Rule2 - Enum in de.learnlib.algorithm.lsharp

Rule3 - Enum in de.learnlib.algorithm.lsharp

S

SEPSEQ - de.learnlib.algorithm.lsharp.Rule2

SEPSEQ - de.learnlib.algorithm.lsharp.Rule3

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter alphabet.

setOracle(AdaptiveMembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter oracle.

setRandom(Random) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter random.

setRule2(Rule2) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter rule2.

setRule3(Rule3) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter rule3.

setSinkOutput(O) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter sinkOutput.

setSinkState(Word<I>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter sinkState.

showsStatesAreApart(ObservationTree<S, I, O>, S, S) - Static method in class de.learnlib.algorithm.lsharp.ApartnessUtil

size() - Method in class de.learnlib.algorithm.lsharp.ads.ArenaTree

startLearning() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

statesAreApart(ObservationTree<S, I, O>, S, S) - Static method in class de.learnlib.algorithm.lsharp.ApartnessUtil

T

TransitionInformation<I,O> - Interface in de.learnlib.algorithm.lsharp

treeAndHypComputeWitness(ObservationTree<S1, I, O>, S1, MealyMachine<S2, I, ?, O>, S2) - Static method in class de.learnlib.algorithm.lsharp.ApartnessUtil

treeAndHypShowsStatesAreApart(ObservationTree<S1, I, O>, S1, S2, MealyMachine<S2, I, ?, O>) - Static method in class de.learnlib.algorithm.lsharp.ApartnessUtil

treeIsAdequate() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

U

updateFrontierAndBasis() - Method in class de.learnlib.algorithm.lsharp.LSharpMealy

V

value - Variable in class de.learnlib.algorithm.lsharp.ads.ArenaNode

valueOf(String) - Static method in enum de.learnlib.algorithm.lsharp.Rule2

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum de.learnlib.algorithm.lsharp.Rule3

Returns the enum constant of this type with the specified name.

values() - Static method in enum de.learnlib.algorithm.lsharp.Rule2

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum de.learnlib.algorithm.lsharp.Rule3

Returns an array containing the constants of this enum type, in the order they are declared.

W

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter alphabet and returns this builder instance.

withOracle(AdaptiveMembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter oracle and returns this builder instance.

withRandom(Random) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter random and returns this builder instance.

withRule2(Rule2) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter rule2 and returns this builder instance.

withRule3(Rule3) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter rule3 and returns this builder instance.

withSinkOutput(O) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter sinkOutput and returns this builder instance.

withSinkState(Word<I>) - Method in class de.learnlib.algorithm.lsharp.LSharpMealyBuilder

Sets the new value for the parameter sinkState and returns this builder instance.

A B C D E G I L M N O P R S T U V W
All Classes All Packages