Package | Description |
---|---|
de.learnlib.cache | |
de.learnlib.cache.sul | |
de.learnlib.drivers.api | |
de.learnlib.drivers.reflect | |
de.learnlib.eqtests.basic.mealy | |
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) |
Modifier and Type | Class and Description |
---|---|
class |
SULCache<I,O> |
Constructor and Description |
---|
SULCache(Alphabet<I> alphabet,
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 |
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 © 2014. All Rights Reserved.