A D G I M N P S
All Classes All Packages

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>) - Method in class de.learnlib.oracle.membership.SimulatorOracle

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

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

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

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

Returns an answer for an OmegaQuery.

D

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

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

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

A type-specific refinement of SimulatorOracle.

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

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

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<I,O> - Class in de.learnlib.oracle.membership

A type-specific refinement of SimulatorOracle.

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

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

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

A type-specific refinement of SimulatorOracle.

MooreSimulatorOracle(MooreMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracle.membership.MooreSimulatorOracle

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

N

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.

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.

NFASimulatorOracle<I> - Class in de.learnlib.oracle.membership

A type-specific refinement of SimulatorOracle.

NFASimulatorOracle(NFA<?, I>) - Constructor for class de.learnlib.oracle.membership.NFASimulatorOracle

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

P

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

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

processQuery(AdaptiveQuery<I, O>) - Method in class de.learnlib.oracle.membership.StateLocalInputSULAdaptiveOracle

processQuery(AdaptiveQuery<I, O>) - Method in class de.learnlib.oracle.membership.SULAdaptiveOracle

S

SBASimulatorOracle<I> - Class in de.learnlib.oracle.membership

A type-specific refinement of SimulatorOracle.

SBASimulatorOracle(SBA<?, I>) - Constructor for class de.learnlib.oracle.membership.SBASimulatorOracle

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

SEVPASimulatorOracle<I> - Class in de.learnlib.oracle.membership

A type-specific refinement of SimulatorOracle.

SEVPASimulatorOracle(SEVPA<?, I>) - Constructor for class de.learnlib.oracle.membership.SEVPASimulatorOracle

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

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.

SPASimulatorOracle<I> - Class in de.learnlib.oracle.membership

A type-specific refinement of SimulatorOracle.

SPASimulatorOracle(SPA<?, I>) - Constructor for class de.learnlib.oracle.membership.SPASimulatorOracle

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

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

A type-specific refinement of SimulatorOracle.

SPMMSimulatorOracle(SPMM<?, I, ?, O>) - Constructor for class de.learnlib.oracle.membership.SPMMSimulatorOracle

Delegates to SimulatorOracle(net.automatalib.automaton.concept.SuffixOutput).

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

A AdaptiveMembershipOracle wrapper for StateLocalInputSULs.

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

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

A wrapper around a system under learning (SUL) with state local inputs.

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

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

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

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

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

A D G I M N P S
All Classes All Packages