JavaScript is disabled on your browser.
Skip navigation links
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
A
D
F
M
P
Q
R
S
A
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
D
de.learnlib.oracle.membership
- package de.learnlib.oracle.membership
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
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
MealySimulatorOracle(MealyMachine<?, I, ?, O>)
- Constructor for class de.learnlib.oracle.membership.
SimulatorOracle.MealySimulatorOracle
P
processQueries(Collection<? extends Query<I, D>>)
- Method in class de.learnlib.oracle.membership.
FilterChain
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.
SULOracle
Q
query(I)
- Method in class de.learnlib.oracle.membership.
SULSymbolQueryOracle
R
reset()
- Method in class de.learnlib.oracle.membership.
SULSymbolQueryOracle
S
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
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
M
P
Q
R
S
Skip navigation links
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
Copyright © 2018. All rights reserved.