A D G I M N P Q R 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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

P

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

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

Q

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

queryInternal(I) - Method in class de.learnlib.oracle.membership.StateLocalInputSULSymbolQueryOracle

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

R

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

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

S

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

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

A SymbolQueryOracle wrapper for StateLocalInputSULs.

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

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 G I M N P Q R S
All Classes All Packages