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

A

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

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

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

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

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

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

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

addSample(int[], SP) - Method in class de.learnlib.datastructure.pta.pta.BasePTA

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

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

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

alphabetSize - Variable in class de.learnlib.datastructure.pta.pta.BasePTA

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

B

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

Base class for prefix tree acceptors.

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

Constructor.

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

Retrieves an iterator that can be used for iterating over all states in this PTA that are reachable from the root state in a breadth-first order.

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

Retrieves a list of all states in this PTA that are reachable from the root state.

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

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

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

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

C

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

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

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

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

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

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

Counts the number of states in this PTA.

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

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

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

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

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

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

D

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

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

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

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

F

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

G

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

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

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

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

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

getOrCreateState(int[]) - Method in class de.learnlib.datastructure.pta.pta.BasePTA

Retrieves the state reached by the given word (represented as an int array).

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

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

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

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

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

Retrieves the root of the PTA.

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

getState(int[]) - Method in class de.learnlib.datastructure.pta.pta.BasePTA

Retrieves the state reached by the given word (represented as an int array).

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

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

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

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

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

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

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

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

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

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

graphView(Alphabet<I>) - Method in class de.learnlib.datastructure.pta.pta.BasePTA

I

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

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

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

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

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

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

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

L

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

M

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

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

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

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

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

P

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

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

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

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.pta.AbstractBlueFringePTA

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

PropertyConflictException - Exception in de.learnlib.datastructure.pta.pta

Exception to signal that two (state or transition) properties in a PTA cannot be merged since they are incompatible.

PropertyConflictException(Object, Object) - Constructor for exception de.learnlib.datastructure.pta.pta.PropertyConflictException

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

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

R

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

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

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

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

root - Variable in class de.learnlib.datastructure.pta.pta.BasePTA

S

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

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

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

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

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

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

T

toAutomaton(MutableDeterministic<?, I, ?, ? super SP, ? super TP>, Alphabet<I>) - Method in class de.learnlib.datastructure.pta.pta.BasePTA

toAutomaton(MutableDeterministic<S2, I, ?, ? super SP2, ? super TP2>, Alphabet<I>, Function<? super SP, ? extends SP2>, Function<? super TP, ? extends TP2>) - Method in class de.learnlib.datastructure.pta.pta.BasePTA

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

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

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

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

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

V

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

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

values() - Static method in enum de.learnlib.datastructure.pta.bluefringe.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