A C D F M P S

A

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

C

canFork() - Method in class de.learnlib.simulator.sul.MealySimulatorSUL

D

de.learnlib.oracles - package de.learnlib.oracles

de.learnlib.simulator.sul - package de.learnlib.simulator.sul

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

F

fork() - Method in class de.learnlib.simulator.sul.MealySimulatorSUL

M

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

MealySimulatorSUL<I,O> - Class in de.learnlib.simulator.sul

A SUL that implements steps by stepping through a MealyMachine.

MealySimulatorSUL(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.simulator.sul.MealySimulatorSUL

Constructor, using null as the output for undefined transitions.

MealySimulatorSUL(MealyMachine<?, I, ?, O>, O) - Constructor for class de.learnlib.simulator.sul.MealySimulatorSUL

Constructor.

P

post() - Method in class de.learnlib.simulator.sul.MealySimulatorSUL

pre() - Method in class de.learnlib.simulator.sul.MealySimulatorSUL

S

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

A membership oracle backed by an automaton.

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

Constructor.

SimulatorOracle.DFASimulatorOracle<I> - Class in de.learnlib.oracles

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

step(I) - Method in class de.learnlib.simulator.sul.MealySimulatorSUL

A C D F M P S