Uses of Interface
de.learnlib.sul.SUL

Packages that use SUL

Package	Description
de.learnlib.driver
de.learnlib.driver.reflect
de.learnlib.driver.simulator
de.learnlib.filter.cache.sul
de.learnlib.filter.statistic.sul
de.learnlib.mapper
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.membership
de.learnlib.oracle.parallelism
de.learnlib.statistic
de.learnlib.sul	This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs).
de.learnlib.testsupport

Uses of SUL in de.learnlib.driver

Classes in de.learnlib.driver that implement SUL

Modifier and Type	Class	Description
class	AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>	Abstract base class for a SUL that step-wisely executes ContextExecutableInput symbols.
class	ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>	A SUL that executes ContextExecutableInput symbols.
class	ExecutableInputSUL<I extends ExecutableInput<? extends O>,O>	A SUL that executes ExecutableInput symbols.

Methods in de.learnlib.driver that return SUL

Modifier and Type	Method	Description
SUL<I,O>	ContextExecutableInputSUL.fork()
SUL<I,O>	ExecutableInputSUL.fork()

Uses of SUL in de.learnlib.driver.reflect

Classes in de.learnlib.driver.reflect that implement SUL

Modifier and Type	Class	Description
class	SimplePOJOTestDriver	A test driver for plain old java objects.

Uses of SUL in de.learnlib.driver.simulator

Classes in de.learnlib.driver.simulator that implement SUL

Modifier and Type	Class	Description
class	MealySimulatorSUL<I,O>	A SUL that implements steps by stepping through a MealyMachine.
class	ObservableMealySimulatorSUL<S,I,O>
class	StateLocalInputMealySimulatorSUL<I,O>

Methods in de.learnlib.driver.simulator that return SUL

Modifier and Type	Method	Description
SUL<I,O>	MealySimulatorSUL.fork()

Uses of SUL in de.learnlib.filter.cache.sul

Classes in de.learnlib.filter.cache.sul that implement SUL

Modifier and Type	Class	Description
class	StateLocalInputSULCache<I,O>	A SULCache that additionally caches the currently enabled inputs of the given StateLocalInputSUL.
class	SULCache<I,O>	A cache to be used with a SUL.
class	ThreadSafeStateLocalInputSULCache<I,O>	A thread-safe variant of StateLocalInputSULCache.
class	ThreadSafeSULCache<I,O>	A thread-safe variant of SULCache.

Methods in de.learnlib.filter.cache.sul with parameters of type SUL

Modifier and Type	Method	Description
static <I,O> SULCache<I,O>	SULCaches.createCache(net.automatalib.alphabet.Alphabet<I> alphabet, SUL<I,O> sul)	Creates a SULCache for a given SUL.
static <I,O> ThreadSafeSULCache<I,O>	ThreadSafeSULCaches.createCache(net.automatalib.alphabet.Alphabet<I> alphabet, SUL<I,O> sul)	Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it.
static <I,O> SULCache<I,O>	SULCaches.createDAGCache(net.automatalib.alphabet.Alphabet<I> alphabet, SUL<I,O> sul)	Creates a SULCache for a given SUL, using a DAG for internal cache organization.
static <I,O> ThreadSafeSULCache<I,O>	ThreadSafeSULCaches.createDAGCache(net.automatalib.alphabet.Alphabet<I> alphabet, SUL<I,O> sul)	Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a DAG for internal cache organization.
static <I,O> SULCache<I,O>	SULCaches.createTreeCache(net.automatalib.alphabet.Alphabet<I> alphabet, SUL<I,O> sul)	Creates a SULCache for a given SUL, using a tree for internal cache organization.
static <I,O> ThreadSafeSULCache<I,O>	ThreadSafeSULCaches.createTreeCache(net.automatalib.alphabet.Alphabet<I> alphabet, SUL<I,O> sul)	Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.

Uses of SUL in de.learnlib.filter.statistic.sul

Classes in de.learnlib.filter.statistic.sul that implement SUL

Modifier and Type	Class	Description
class	CounterObservableSUL<S,I,O>
class	CounterStateLocalInputSUL<I,O>
class	CounterSUL<I,O>

Methods in de.learnlib.filter.statistic.sul that return SUL

Modifier and Type	Method	Description
SUL<I,O>	CounterSUL.fork()

Constructors in de.learnlib.filter.statistic.sul with parameters of type SUL

Constructor	Description
CounterSUL(SUL<I,O> sul)
CounterSUL(SUL<I,O> sul, Counter resetCounter, Counter symbolCounter)

Uses of SUL in de.learnlib.mapper

Classes in de.learnlib.mapper that implement SUL

Modifier and Type	Class	Description
class	MappedSUL<AI,AO,CI,CO>

Methods in de.learnlib.mapper that return SUL

Modifier and Type	Method	Description
static <AI,AO,CI,CO> SUL<AI,AO>	SULMappers.apply(SULMapper<? super AI,? extends AO,CI,CO> mapper, SUL<? super CI,? extends CO> sul)

Methods in de.learnlib.mapper with parameters of type SUL

Modifier and Type	Method	Description
static <AI,AO,CI,CO> SUL<AI,AO>	SULMappers.apply(SULMapper<? super AI,? extends AO,CI,CO> mapper, SUL<? super CI,? extends CO> sul)

Constructors in de.learnlib.mapper with parameters of type SUL

Constructor	Description
MappedSUL(SULMapper<? super AI,? extends AO,? extends CI,? super CO> mapper, SUL<? super CI,? extends CO> sul)

Uses of SUL in de.learnlib.oracle.equivalence.mealy

Constructors in de.learnlib.oracle.equivalence.mealy with parameters of type SUL

Constructor	Description
RandomWalkEQOracle(SUL<I,O> sul, double restartProbability, long maxSteps, boolean resetStepCount, Random random)
RandomWalkEQOracle(SUL<I,O> sul, double restartProbability, long maxSteps, Random random)

Uses of SUL in de.learnlib.oracle.membership

Constructors in de.learnlib.oracle.membership with parameters of type SUL

Constructor	Description
SULAdaptiveOracle(SUL<I,O> sul)
SULOracle(SUL<I,O> sul)

Uses of SUL in de.learnlib.oracle.parallelism

Methods in de.learnlib.oracle.parallelism with parameters of type SUL

Modifier and Type	Method	Description
static <I,O> DynamicParallelAdaptiveOracleBuilder<I,O>	ParallelOracleBuilders.newDynamicParallelAdaptiveOracle(SUL<I,O> sul)	Creates a DynamicParallelAdaptiveOracleBuilder using the provided sul as a supplier.
static <I,O> DynamicParallelOracleBuilder<I,net.automatalib.word.Word<O>>	ParallelOracleBuilders.newDynamicParallelOracle(SUL<I,O> sul)	Creates a DynamicParallelOracleBuilder using the provided sul as a supplier.
static <I,O> StaticParallelAdaptiveOracleBuilder<I,O>	ParallelOracleBuilders.newStaticParallelAdaptiveOracle(SUL<I,O> sul)	Creates a StaticParallelAdaptiveOracleBuilder using the provided sul as a supplier.
static <I,O> StaticParallelOracleBuilder<I,net.automatalib.word.Word<O>>	ParallelOracleBuilders.newStaticParallelOracle(SUL<I,O> sul)	Creates a StaticParallelOracleBuilder using the provided sul as a supplier.

Uses of SUL in de.learnlib.statistic

Subinterfaces of SUL in de.learnlib.statistic

Modifier and Type	Interface	Description
interface	StatisticSUL<I,O>

Uses of SUL in de.learnlib.sul

Subinterfaces of SUL in de.learnlib.sul

Modifier and Type	Interface	Description
interface	ObservableSUL<S,I,O>	A System Under Learning (SUL) where at any point in time the internal state can be observed.
interface	StateLocalInputSUL<I,O>	A System Under Learning (SUL) which can additionally report the inputs that the SUL can process in its current state, i.e. inputs that will not trigger a SULException when used in the next invocation of the step(Object) method return an otherwise "undefined" behavior.

Methods in de.learnlib.sul that return SUL

Modifier and Type	Method	Description
default SUL<I,O>	SUL.fork()	Forks this SUL, if possible.

Uses of SUL in de.learnlib.testsupport

Method parameters in de.learnlib.testsupport with type arguments of type SUL

Modifier and Type	Method	Description
static <L extends LearningAlgorithm<? extends net.automatalib.automaton.transducer.MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,net.automatalib.word.Word<String>>> L	VisualizationUtils.runExperiment(BiFunction<net.automatalib.alphabet.Alphabet<ExampleCoffeeMachine.Input>,SUL<ExampleCoffeeMachine.Input,String>,L> builder)