A B C D F G I L M P R S T V
All Classes All Packages

A

AbstractBasePTAState<S extends AbstractBasePTAState<S,SP,TP>,SP,TP> - Class in de.learnlib.datastructure.pta

AbstractBasePTAState() - Constructor for class de.learnlib.datastructure.pta.AbstractBasePTAState

AbstractBlueFringePTA<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP> - Class in de.learnlib.datastructure.pta

AbstractBlueFringePTA(int, S) - Constructor for class de.learnlib.datastructure.pta.AbstractBlueFringePTA

AbstractBlueFringePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP> - Class in de.learnlib.datastructure.pta

AbstractBlueFringePTAState() - Constructor for class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

access - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

addSample(IntSeq, SP) - Method in class de.learnlib.datastructure.pta.BasePTA

Adds a sample to the PTA, and sets the property of the last reached (or inserted) state accordingly.

addSampleWithStateProperties(IntSeq, List<? extends SP>) - Method in class de.learnlib.datastructure.pta.BasePTA

addSampleWithTransitionProperties(IntSeq, List<? extends TP>) - Method in class de.learnlib.datastructure.pta.BasePTA

apply(AbstractBlueFringePTA<S, SP, TP>, Consumer<? super PTATransition<S>>) - Method in class de.learnlib.datastructure.pta.RedBlueMerge

B

BasePTA<S extends AbstractBasePTAState<S,SP,TP>,SP,TP> - Class in de.learnlib.datastructure.pta

Base class for prefix tree acceptors.

BasePTA(int, S) - Constructor for class de.learnlib.datastructure.pta.BasePTA

Constructor.

BlueFringePTA<SP,TP> - Class in de.learnlib.datastructure.pta

BlueFringePTA(int) - Constructor for class de.learnlib.datastructure.pta.BlueFringePTA

BlueFringePTAState<SP,TP> - Class in de.learnlib.datastructure.pta

BlueFringePTAState() - Constructor for class de.learnlib.datastructure.pta.BlueFringePTAState

C

CANONICAL_ORDER - de.learnlib.datastructure.pta.config.DefaultProcessingOrders

Processes blue states in ascending canonical order of their access sequences.

color - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

compareTo(S) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

copy() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

copy() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

copy(ArrayStorage<TP>) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

createState() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

createState() - Method in class de.learnlib.datastructure.pta.BlueFringePTAState

createSuccessor(int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

createSuccessor(int) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

createWorklist() - Method in interface de.learnlib.datastructure.pta.config.ProcessingOrder

Creates a worklist for managing the set of blue states in the RPNI algorithm.

D

de.learnlib.datastructure.pta - package de.learnlib.datastructure.pta

de.learnlib.datastructure.pta.config - package de.learnlib.datastructure.pta.config

de.learnlib.datastructure.pta.wrapper - package de.learnlib.datastructure.pta.wrapper

DefaultProcessingOrders - Enum in de.learnlib.datastructure.pta.config

Standard processing orders that can be used for the RPNI algorithm.

DFAWrapper<S extends AbstractBasePTAState<S,Boolean,Void>,I> - Class in de.learnlib.datastructure.pta.wrapper

DFAWrapper(Alphabet<I>, BasePTA<S, Boolean, Void>) - Constructor for class de.learnlib.datastructure.pta.wrapper.DFAWrapper

F

FIFO_ORDER - de.learnlib.datastructure.pta.config.DefaultProcessingOrders

Processes blue states in a first-in, first-out (queue-like) manner.

forEachSucc(Consumer<? super S>) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

G

getBlueState() - Method in class de.learnlib.datastructure.pta.RedBlueMerge

getColor() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

getIndex() - Method in class de.learnlib.datastructure.pta.PTATransition

getInitialState() - Method in class de.learnlib.datastructure.pta.BasePTA

getInitialState() - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper

getInitialState() - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper

getInitialState() - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper

getInputAlphabet() - Method in class de.learnlib.datastructure.pta.BasePTA

getInputAlphabet() - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper

getInputAlphabet() - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper

getInputAlphabet() - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper

getNumRedStates() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA

getOrCreateState(IntSeq) - Method in class de.learnlib.datastructure.pta.BasePTA

Retrieves the state reached by the given word.

getOrCreateSuccessor(int, int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

getProperty() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

getRedState() - Method in class de.learnlib.datastructure.pta.RedBlueMerge

getRedState(@org.checkerframework.checker.index.qual.NonNegative int) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA

getRedStates() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA

getRoot() - Method in class de.learnlib.datastructure.pta.BasePTA

Retrieves the root of the PTA.

getSource() - Method in class de.learnlib.datastructure.pta.PTATransition

getStateOutput(S) - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper

getStateProperty() - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

getStateProperty(S) - Method in class de.learnlib.datastructure.pta.BasePTA

getStates() - Method in class de.learnlib.datastructure.pta.BasePTA

getStates() - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper

getStates() - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper

getStates() - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper

getSuccessor(int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

getSuccessor(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.BasePTA

getSuccessor(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper

getSuccessor(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper

getSuccessor(S, Integer) - Method in class de.learnlib.datastructure.pta.BasePTA

getTarget() - Method in class de.learnlib.datastructure.pta.PTATransition

getTransition(S, I) - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper

getTransition(S, I) - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper

getTransition(S, I) - Method in class de.learnlib.datastructure.pta.wrapper.MooreWrapper

getTransition(S, Integer) - Method in class de.learnlib.datastructure.pta.BasePTA

getTransitionOutput(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.wrapper.MealyWrapper

getTransitionProperty(PTATransition<S>) - Method in class de.learnlib.datastructure.pta.BasePTA

getTransProperty(int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

I

id - Variable in class de.learnlib.datastructure.pta.AbstractBasePTAState

init(Consumer<? super PTATransition<S>>) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA

isAccepting(S) - Method in class de.learnlib.datastructure.pta.wrapper.DFAWrapper

isBlue() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

isCopy - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

isRed() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

isWhite() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

iterator() - Method in class de.learnlib.datastructure.pta.BasePTA

L

LEX_ORDER - de.learnlib.datastructure.pta.config.DefaultProcessingOrders

Processes blue states in ascending lexicographical order of their access sequences.

lexCompareTo(S) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

LIFO_ORDER - de.learnlib.datastructure.pta.config.DefaultProcessingOrders

Processes blue states in a last-in, first-out (stack-like) manner.

M

makeBlue() - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

makeRed(int) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

MealyWrapper<S extends AbstractBasePTAState<S,Void,O>,I,O> - Class in de.learnlib.datastructure.pta.wrapper

MealyWrapper(Alphabet<I>, BasePTA<S, Void, O>) - Constructor for class de.learnlib.datastructure.pta.wrapper.MealyWrapper

merge() - Method in class de.learnlib.datastructure.pta.RedBlueMerge

mergeStateProperty(SP) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

mergeTransitionProperty(int, int, TP) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

MooreWrapper<S extends AbstractBasePTAState<S,O,Void>,I,O> - Class in de.learnlib.datastructure.pta.wrapper

MooreWrapper(Alphabet<I>, BasePTA<S, O, Void>) - Constructor for class de.learnlib.datastructure.pta.wrapper.MooreWrapper

P

parent - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

parentInput - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

ProcessingOrder - Interface in de.learnlib.datastructure.pta.config

Interface for entities that specify the order in which blue states are processed (i.e., considered for merges).

promote(S, Consumer<? super PTATransition<S>>) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA

property - Variable in class de.learnlib.datastructure.pta.AbstractBasePTAState

PTATransition<S extends AbstractBasePTAState<S,?,?>> - Class in de.learnlib.datastructure.pta

PTATransition(S, @org.checkerframework.checker.index.qual.NonNegative int) - Constructor for class de.learnlib.datastructure.pta.PTATransition

R

RedBlueMerge<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP> - Class in de.learnlib.datastructure.pta

RedBlueMerge(AbstractBlueFringePTA<S, SP, TP>, S, S) - Constructor for class de.learnlib.datastructure.pta.RedBlueMerge

redStates - Variable in class de.learnlib.datastructure.pta.AbstractBlueFringePTA

S

setForeignSuccessor(int, S, int) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

setSuccessor(int, S, int) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

setSuccessor(int, S, int) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTAState

successors - Variable in class de.learnlib.datastructure.pta.AbstractBasePTAState

T

toMergedAutomaton() - Method in class de.learnlib.datastructure.pta.RedBlueMerge

transitionGraphView(Collection<? extends Integer>) - Method in class de.learnlib.datastructure.pta.BasePTA

transProperties - Variable in class de.learnlib.datastructure.pta.AbstractBasePTAState

tryMerge(S, S) - Method in class de.learnlib.datastructure.pta.AbstractBlueFringePTA

tryMergeStateProperty(SP) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

tryMergeTransitionProperty(int, int, TP) - Method in class de.learnlib.datastructure.pta.AbstractBasePTAState

V

valueOf(String) - Static method in enum de.learnlib.datastructure.pta.config.DefaultProcessingOrders

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

values() - Static method in enum de.learnlib.datastructure.pta.config.DefaultProcessingOrders

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

A B C D F G I L M P R S T V
All Classes All Packages