A D F G I M N P Q R S

A

AbstractSULOmegaOracle<S,I,O,Q> - Class in de.learnlib.oracle.membership

An omega membership oracle for an ObservableSUL.

AbstractSULOmegaOracle(ObservableSUL<S, I, O>) - Constructor for class de.learnlib.oracle.membership.AbstractSULOmegaOracle

answerQuery(Word<AI>, Word<AI>) - Method in class de.learnlib.oracle.membership.MappedOracle

answerQuery(Word<I>, Word<I>, int) - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle

Returns an answer for an OmegaQuery.

answerQuery(Word<I>, Word<I>) - Method in class de.learnlib.oracle.membership.SimulatorOracle

answerQuery(SUL<I, O>, Word<I>, Word<I>) - Static method in class de.learnlib.oracle.membership.SULOracle

D

de.learnlib.oracle.membership - package de.learnlib.oracle.membership

DFASimulatorOmegaOracle(DFA<S, I>) - Constructor for class de.learnlib.oracle.membership.SimulatorOmegaOracle.DFASimulatorOmegaOracle

DFASimulatorOracle(DFA<?, I>) - Constructor for class de.learnlib.oracle.membership.SimulatorOracle.DFASimulatorOracle

F

FilterChain<I,D> - Class in de.learnlib.oracle.membership

A chain of oracles.

FilterChain(MembershipOracle<I, D>, Filter<I, D>...) - Constructor for class de.learnlib.oracle.membership.FilterChain

G

getMembershipOracle() - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle

getMembershipOracle() - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle.DFASimulatorOmegaOracle

getMembershipOracle() - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle

Gets the SimulatorOracle used to answer Querys.

getMembershipOracle() - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle.MealySimulatorOmegaOracle

getQueryState(ObservableSUL<S, I, O>) - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle

getSul() - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle

Gets the ObservableSUL.

I

isSameState(Word<I>, S, Word<I>, S) - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle

Test for state equivalence by simply invoking Object.equals(Object).

M

MappedOracle<AI,AO,CI,CO> - Class in de.learnlib.oracle.membership

A utility class that allows to lift a membership oracle of concrete input/output symbols to a membership oracle of abstract input/output symbols, given a corresponding mapper.

MappedOracle(QueryAnswerer<CI, CO>, Mapper.AsynchronousMapper<AI, AO, CI, CO>) - Constructor for class de.learnlib.oracle.membership.MappedOracle

MealySimulatorOmegaOracle(MealyMachine<S, I, ?, O>) - Constructor for class de.learnlib.oracle.membership.SimulatorOmegaOracle.MealySimulatorOmegaOracle

MealySimulatorOracle(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracle.membership.SimulatorOracle.MealySimulatorOracle

N

newOracle(ObservableSUL<S, I, O>, boolean) - Static method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle

Creates a new AbstractSULOmegaOracle, while making sure the invariants of the ObservableSUL are satisfied.

newOracle(ObservableSUL<S, I, O>) - Static method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle

Creates a new AbstractSULOmegaOracle that assumes the SUL can not make deep copies.

P

processQueries(Collection<? extends OmegaQuery<I, Word<O>>>) - Method in class de.learnlib.oracle.membership.AbstractSULOmegaOracle

processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracle.membership.FilterChain

processQueries(Collection<? extends OmegaQuery<I, D>>) - Method in class de.learnlib.oracle.membership.SimulatorOmegaOracle

processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracle.membership.SimulatorOracle

processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.oracle.membership.StateLocalInputSULOracle

processQueries(Collection<? extends Query<I, Word<O>>>) - Method in class de.learnlib.oracle.membership.SULOracle

Q

query(I) - Method in class de.learnlib.oracle.membership.SULSymbolQueryOracle

R

reset() - Method in class de.learnlib.oracle.membership.SULSymbolQueryOracle

S

SimulatorOmegaOracle<S,I,D> - Class in de.learnlib.oracle.membership

Answers OmegaQuerys by simulating an automaton.

SimulatorOmegaOracle(A, SimulatorOracle<I, D>) - Constructor for class de.learnlib.oracle.membership.SimulatorOmegaOracle

Constructs a new SimulatorOmegaOracle.

SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I> - Class in de.learnlib.oracle.membership

SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O> - Class in de.learnlib.oracle.membership

SimulatorOracle<I,D> - Class in de.learnlib.oracle.membership

A membership oracle backed by an automaton.

SimulatorOracle(SuffixOutput<I, D>) - Constructor for class de.learnlib.oracle.membership.SimulatorOracle

Constructor.

SimulatorOracle.DFASimulatorOracle<I> - Class in de.learnlib.oracle.membership

SimulatorOracle.MealySimulatorOracle<I,O> - Class in de.learnlib.oracle.membership

StateLocalInputSULOracle<I,O> - Class in de.learnlib.oracle.membership

StateLocalInputSULOracle(StateLocalInputSUL<I, O>, O) - Constructor for class de.learnlib.oracle.membership.StateLocalInputSULOracle

SULOracle<I,O> - Class in de.learnlib.oracle.membership

A wrapper around a system under learning (SUL).

SULOracle(SUL<I, O>) - Constructor for class de.learnlib.oracle.membership.SULOracle

SULSymbolQueryOracle<I,O> - Class in de.learnlib.oracle.membership

A wrapper that allows to use a SUL where a SymbolQueryOracle is expected.

SULSymbolQueryOracle(SUL<I, O>) - Constructor for class de.learnlib.oracle.membership.SULSymbolQueryOracle

A D F G I M N P Q R S