Package | Description |
---|---|
de.learnlib.cache | |
de.learnlib.cache.sul | |
de.learnlib.drivers.api | |
de.learnlib.drivers.reflect | |
de.learnlib.eqtests.basic.mealy | |
de.learnlib.mapper | |
de.learnlib.oracles | |
de.learnlib.statistics |
Modifier and Type | Method and Description |
---|---|
static <I,O> SULCache<I,O> |
Caches.createSULCache(Alphabet<I> alphabet,
SUL<I,O> sul)
Deprecated.
since 2014-01-24. Use
SULCaches.createCache(Alphabet, SUL) |
Modifier and Type | Class and Description |
---|---|
class |
SULCache<I,O>
A cache to be used with a
SUL . |
Modifier and Type | Method and Description |
---|---|
static <I,O> SULCache<I,O> |
SULCaches.createCache(Alphabet<I> alphabet,
SUL<I,O> sul) |
static <I,O> SULCache<I,O> |
SULCaches.createDAGCache(Alphabet<I> alphabet,
SUL<I,O> sul) |
static <I,O> SULCache<I,O> |
SULCache.createDAGCache(Alphabet<I> alphabet,
SUL<I,O> sul) |
static <I,O> SULCache<I,O> |
SULCaches.createTreeCache(Alphabet<I> alphabet,
SUL<I,O> sul) |
static <I,O> SULCache<I,O> |
SULCache.createTreeCache(Alphabet<I> alphabet,
SUL<I,O> sul) |
Constructor and Description |
---|
SULCache(Alphabet<I> alphabet,
SUL<I,O> sul)
Deprecated.
since 2014-01-24. Use
Caches.createSULCache(Alphabet, SUL) |
SULCache(IncrementalMealyBuilder<I,O> incMealy,
Lock lock,
SUL<I,O> sul) |
SULCache(IncrementalMealyBuilder<I,O> incMealy,
SUL<I,O> sul) |
Modifier and Type | Class and Description |
---|---|
class |
TestDriver<AI,AO,CI extends ExecutableInput<CO>,CO>
A test driver executes
|
Modifier and Type | Class and Description |
---|---|
class |
SimplePOJOTestDriver
Simple test driver for plain java objects.
|
Constructor and Description |
---|
RandomWalkEQOracle(double restartProbability,
long maxSteps,
boolean resetStepCount,
Random random,
SUL<I,O> sul) |
RandomWalkEQOracle(double restartProbability,
long maxSteps,
Random random,
SUL<I,O> sul)
Constructor.
|
Modifier and Type | Class and 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. |
class |
MappedSUL<AI,AO,CI,CO> |
Modifier and Type | Method and Description |
---|---|
static <AI,AO,CI,CO> |
Mappers.apply(Mapper<? super AI,? extends AO,CI,CO> mapper,
SUL<? super CI,? extends CO> sul) |
Modifier and Type | Method and Description |
---|---|
static <AI,AO,CI,CO> |
Mappers.apply(Mapper<? super AI,? extends AO,CI,CO> mapper,
SUL<? super CI,? extends CO> sul) |
Constructor and Description |
---|
MappedSUL(Mapper<? super AI,? extends AO,? extends CI,? super CO> mapper,
SUL<? super CI,? extends CO> sul) |
Modifier and Type | Class and Description |
---|---|
class |
ResetCounterSUL<I,O> |
class |
SymbolCounterSUL<I,O> |
Constructor and Description |
---|
ResetCounterSUL(String name,
SUL<I,O> sul) |
SULOracle(SUL<I,O> sul) |
SymbolCounterSUL(String name,
SUL<I,O> sul) |
Modifier and Type | Interface and Description |
---|---|
interface |
StatisticSUL<I,O> |
Copyright © 2015. All rights reserved.