Uses of Interface
de.ls5.jlearn.interfaces.Oracle

Packages that use Oracle

de.ls5.jlearn.algorithms.angluin
de.ls5.jlearn.algorithms.dhc
de.ls5.jlearn.algorithms.dhcmodular
de.ls5.jlearn.algorithms.packs
de.ls5.jlearn.batchoracles
de.ls5.jlearn.equivalenceoracles
de.ls5.jlearn.interfaces
de.ls5.jlearn.oracles
de.ls5.jlearn.splittercreators

Uses of Oracle in de.ls5.jlearn.algorithms.angluin

Methods in de.ls5.jlearn.algorithms.angluin with parameters of type Oracle

void	Angluin.setOracle(Oracle oracle)

Uses of Oracle in de.ls5.jlearn.algorithms.dhc

Methods in de.ls5.jlearn.algorithms.dhc with parameters of type Oracle

void	DHC.setOracle(Oracle oracle)

Constructors in de.ls5.jlearn.algorithms.dhc with parameters of type Oracle

DHC(Alphabet startalphabet, Oracle oracle)
Constructor.

JobCollapseState(State parent, State state, Symbol transletter, DecisionTree<Symbol,State> siblingDB, Set<Word> newsplitters, int eqlevel, Set<Symbol> jokers, Oracle oracle, StopSignal stop)

Uses of Oracle in de.ls5.jlearn.algorithms.dhcmodular

Methods in de.ls5.jlearn.algorithms.dhcmodular with parameters of type Oracle

void	DHCModular.setOracle(Oracle oracle)

Constructors in de.ls5.jlearn.algorithms.dhcmodular with parameters of type Oracle

DHCModular(Alphabet startalphabet, Oracle oracle)

Uses of Oracle in de.ls5.jlearn.algorithms.packs

Methods in de.ls5.jlearn.algorithms.packs with parameters of type Oracle

void	ObservationPack.setOracle(Oracle oracle)

Uses of Oracle in de.ls5.jlearn.batchoracles

Classes in de.ls5.jlearn.batchoracles that implement Oracle

class	AbstractBatchOracle
class	LengthSortBatchOracle A BatchOracle that sorts queries according to length into descending order.
class	MultithreadBatchOracle A BatchOracle that processes queries on several threads.
class	PrefixFirstBatchOracle A BatchOracle that first processes Queries which are not prefix of another query, then processes prefixes.
class	SequentialBatchOracle

Methods in de.ls5.jlearn.batchoracles with parameters of type Oracle

void	MultithreadBatchOracle.setOracle(Oracle oracle)
void	LengthSortBatchOracle.setOracle(Oracle oracle)
void	PrefixFirstBatchOracle.setOracle(Oracle oracle)
void	SequentialBatchOracle.setOracle(Oracle o)

Constructors in de.ls5.jlearn.batchoracles with parameters of type Oracle

LengthSortBatchOracle(Oracle oracle)

MultithreadBatchOracle(Oracle oracle)

MultithreadBatchOracle(Oracle oracle, int numthreads)

PrefixFirstBatchOracle(Oracle oracle)

SequentialBatchOracle(Oracle o)

Uses of Oracle in de.ls5.jlearn.equivalenceoracles

Methods in de.ls5.jlearn.equivalenceoracles with parameters of type Oracle

void	CompleteSearchEquivalenceOracle.setOracle(Oracle o)
void	RandomWalkEquivalenceOracle.setOracle(Oracle o)
void	EvolvingHypothesisRandomWalk.setOracle(Oracle o) Deprecated.
void	SimulatorEquivalenceOracle.setOracle(Oracle o)
void	WMethodEquivalenceTest.setOracle(Oracle o)
void	EquivalenceOracleSimple.setOracle(Oracle o)
void	SimulatorEquivalenceOracleDFA.setOracle(Oracle o)

Uses of Oracle in de.ls5.jlearn.interfaces

Subinterfaces of Oracle in de.ls5.jlearn.interfaces

interface	AsyncOracle An asynchronous oracle buffers queries, which can be retrieved and processed.
interface	BatchOracle This interface encapsulates access to the SUT (System Under Test).
interface	Cache A cache records queries and corresponding answers.

Methods in de.ls5.jlearn.interfaces with parameters of type Oracle

List<Word>	SplitterCreator.createSplitters(Word counterexample, Word output, Oracle oracle, Automaton hypothesis) Determine splitters that reveal diverging behavior between the learner's hypothesis and the target system.
void	SplitterCreator.setOracle(Oracle o) allows to set the oracle explicitly.
void	Learner.setOracle(Oracle oracle) Set the Oracle to be queried during the learning process
void	EquivalenceOracle.setOracle(Oracle o) Specifies the Oracle to be queried when searching for counterexamples
void	Cache.setOracle(Oracle o) Specifies Oracle to be called if a cache-miss is encountered

Uses of Oracle in de.ls5.jlearn.oracles

Classes in de.ls5.jlearn.oracles that implement Oracle

class	AsyncOracleImpl
class	CacheOracle
class	FileCacheOracle
class	PooledOracle Thread safe oracle that holds a collection of oracles.
class	PrefixClosureFilter A prefix closure filter answers known prefixes that ends up with some specific output (contained in PrefixClosureFilter.rejectedSymbols) with a special defines output.
class	PrefixEnforcementFilter will always execute a prefix before executing the membership query and will strip the corresponding prefix from the oracle's answer.
class	SimulatorOracle
class	SimulatorOracleDFA

Methods in de.ls5.jlearn.oracles that return Oracle

Oracle

PrefixEnforcementFilter.getOracle()

Methods in de.ls5.jlearn.oracles with parameters of type Oracle

void	CacheOracle.setOracle(Oracle oracle)
void	FileCacheOracle.setOracle(Oracle oracle)
void	PrefixEnforcementFilter.setOracle(Oracle oracle)

Method parameters in de.ls5.jlearn.oracles with type arguments of type Oracle

void	PooledOracle.setPool(Collection<Oracle> pool)

Constructors in de.ls5.jlearn.oracles with parameters of type Oracle

CacheOracle(Oracle oracle)

PrefixClosureFilter(Oracle delegate, Symbol futureOutput)
Default constructor.

PrefixEnforcementFilter(Word prefix, Oracle oracle)

Constructor parameters in de.ls5.jlearn.oracles with type arguments of type Oracle

PooledOracle(Collection<Oracle> pool)

Uses of Oracle in de.ls5.jlearn.splittercreators

Methods in de.ls5.jlearn.splittercreators with parameters of type Oracle

List<Word>	RivestAllSuffixesSplitterCreator.createSplitters(Word counterexample, Word output, Oracle oracle, Automaton hypothesis)
List<Word>	SplitterCreatorAllSuffixes.createSplitters(Word example, Word output, Oracle o, Automaton a)
List<Word>	HowarStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	KearnsStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	MalerStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	KearnsStyleDFASplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	ShahbazStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
void	SplitterCreatorAllSuffixes.setOracle(Oracle o)
void	HowarStyleSplitterCreator.setOracle(Oracle o)
void	KearnsStyleSplitterCreator.setOracle(Oracle o)
void	MalerStyleSplitterCreator.setOracle(Oracle o)
void	KearnsStyleDFASplitterCreator.setOracle(Oracle o)
void	ShahbazStyleSplitterCreator.setOracle(Oracle o)

Constructors in de.ls5.jlearn.splittercreators with parameters of type Oracle

KearnsStyleDFASplitterCreator(Oracle oracle)

RivestStyleDFASplitterCreator(Oracle splitOracle)