Package | Description |
---|---|
de.learnlib.api | |
de.learnlib.drivers.reflect | |
de.learnlib.mapper | |
de.learnlib.mapper.api | |
de.learnlib.oracles |
Modifier and Type | Method and Description |
---|---|
O |
SUL.step(I in)
make one step on the SUL.
|
Modifier and Type | Method and Description |
---|---|
Mapper.MappedException<? extends AbstractMethodOutput> |
SimplePOJODataMapper.mapUnwrappedException(RuntimeException exception) |
Modifier and Type | Method and Description |
---|---|
Mapper.MappedException<? extends AO> |
AbstractMapper.mapWrappedException(SULException exception) |
Modifier and Type | Method and Description |
---|---|
Mapper.MappedException<? extends AO> |
AbstractMapper.mapUnwrappedException(RuntimeException exception) |
Mapper.MappedException<? extends AO> |
AbstractMapper.mapWrappedException(SULException exception) |
AO |
MappedSUL.step(AI in) |
O |
ExecutableInputSUL.step(I in) |
O |
AbstractContextExecutableInputSUL.step(I in) |
Modifier and Type | Method and Description |
---|---|
Mapper.MappedException<? extends AO> |
Mapper.mapWrappedException(SULException exception)
Maps a wrapped
SULException to an abstract output symbol, or rethrows it
if it is unmappable. |
static <AO> Mapper.MappedException<AO> |
Mapper.MappedException.pass(SULException exception) |
Modifier and Type | Method and Description |
---|---|
CO |
ExecutableInput.execute()
executes the input.
|
O |
ContextExecutableInput.execute(C context) |
Mapper.MappedException<? extends AO> |
Mapper.mapUnwrappedException(RuntimeException exception)
Maps an unwrapped
RuntimeException to an abstract output symbol, or rethrows
it if it is unmappable. |
Mapper.MappedException<? extends AO> |
Mapper.mapWrappedException(SULException exception)
Maps a wrapped
SULException to an abstract output symbol, or rethrows it
if it is unmappable. |
static <AO> Mapper.MappedException<AO> |
Mapper.MappedException.pass(SULException exception) |
Modifier and Type | Method and Description |
---|---|
Word<O> |
SULOracle.answerQuery(Word<I> prefix,
Word<I> suffix) |
O |
SymbolCounterSUL.step(I in) |
O |
ResetCounterSUL.step(I in) |
Copyright © 2015. All rights reserved.