Uses of Interface
de.learnlib.sul.StateLocalInputSUL
-
Packages that use StateLocalInputSUL Package Description de.learnlib.driver.simulator de.learnlib.filter.cache.sul de.learnlib.filter.statistic.sul de.learnlib.oracle.membership de.learnlib.oracle.parallelism de.learnlib.sul This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs). -
-
Uses of StateLocalInputSUL in de.learnlib.driver.simulator
Classes in de.learnlib.driver.simulator that implement StateLocalInputSUL Modifier and Type Class Description class
StateLocalInputMealySimulatorSUL<I,O>
Methods in de.learnlib.driver.simulator that return StateLocalInputSUL Modifier and Type Method Description StateLocalInputSUL<I,O>
StateLocalInputMealySimulatorSUL. fork()
-
Uses of StateLocalInputSUL in de.learnlib.filter.cache.sul
Classes in de.learnlib.filter.cache.sul that implement StateLocalInputSUL Modifier and Type Class Description class
StateLocalInputSULCache<I,O>
class
ThreadSafeStateLocalInputSULCache<I,O>
A thread-safe variant ofStateLocalInputSULCache
.Methods in de.learnlib.filter.cache.sul that return StateLocalInputSUL Modifier and Type Method Description StateLocalInputSUL<I,O>
StateLocalInputSULCache. fork()
Methods in de.learnlib.filter.cache.sul with parameters of type StateLocalInputSUL Modifier and Type Method Description static <I,O>
StateLocalInputSULCache<I,O>SULCaches. createStateLocalInputCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Creates aStateLocalInputSULCache
for a givenStateLocalInputSUL
.static <I,O>
ThreadSafeStateLocalInputSULCache<I,O>ThreadSafeSULCaches. createStateLocalInputCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Wraps a givenStateLocalInputSUL
in a thread-safe variant of aStateLocalInputSULCache
that supportsforking
iff the givenSUL
supports it.static <I,O>
StateLocalInputSULCache<I,O>SULCaches. createStateLocalInputTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Creates aStateLocalInputSULCache
for a givenStateLocalInputSUL
, using a tree for internal cache organization.static <I,O>
ThreadSafeStateLocalInputSULCache<I,O>ThreadSafeSULCaches. createStateLocalInputTreeCache(Alphabet<I> alphabet, StateLocalInputSUL<I,O> sul)
Wraps a givenStateLocalInputSUL
in a thread-safe variant of aStateLocalInputSULCache
that supportsforking
iff the givenSUL
supports it and uses a tree for internal cache organization. -
Uses of StateLocalInputSUL in de.learnlib.filter.statistic.sul
Classes in de.learnlib.filter.statistic.sul that implement StateLocalInputSUL Modifier and Type Class Description class
ResetCounterStateLocalInputSUL<I,O>
class
SLICounterStateLocalInputSUL<I,O>
class
SymbolCounterStateLocalInputSUL<I,O>
Methods in de.learnlib.filter.statistic.sul that return StateLocalInputSUL Modifier and Type Method Description StateLocalInputSUL<I,O>
ResetCounterStateLocalInputSUL. fork()
StateLocalInputSUL<I,O>
SLICounterStateLocalInputSUL. fork()
StateLocalInputSUL<I,O>
SymbolCounterStateLocalInputSUL. fork()
Constructors in de.learnlib.filter.statistic.sul with parameters of type StateLocalInputSUL Constructor Description ResetCounterStateLocalInputSUL(String name, StateLocalInputSUL<I,O> sul)
SLICounterStateLocalInputSUL(String name, StateLocalInputSUL<I,O> sul)
SymbolCounterStateLocalInputSUL(String name, StateLocalInputSUL<I,O> sul)
-
Uses of StateLocalInputSUL in de.learnlib.oracle.membership
Constructors in de.learnlib.oracle.membership with parameters of type StateLocalInputSUL Constructor Description StateLocalInputSULOracle(StateLocalInputSUL<I,O> sul, O undefinedOutput)
StateLocalInputSULSymbolQueryOracle(StateLocalInputSUL<I,O> sul, O undefinedOutput)
-
Uses of StateLocalInputSUL in de.learnlib.oracle.parallelism
Methods in de.learnlib.oracle.parallelism with parameters of type StateLocalInputSUL Modifier and Type Method Description static <I,O>
DynamicParallelOracleBuilder<I,Word<O>>ParallelOracleBuilders. newDynamicParallelOracle(StateLocalInputSUL<I,O> sul, O undefinedInput)
Creates aDynamicParallelOracleBuilder
using the providedsul
as a supplier.static <I,O>
StaticParallelOracleBuilder<I,Word<O>>ParallelOracleBuilders. newStaticParallelOracle(StateLocalInputSUL<I,O> sul, O undefinedInput)
Creates aStaticParallelOracleBuilder
using the providedsul
as a supplier. -
Uses of StateLocalInputSUL in de.learnlib.sul
Methods in de.learnlib.sul that return StateLocalInputSUL Modifier and Type Method Description default StateLocalInputSUL<I,O>
StateLocalInputSUL. fork()
-