Package | Description |
---|---|
de.learnlib.api | |
de.learnlib.driver.util | |
de.learnlib.drivers.reflect | |
de.learnlib.filter.statistic.sul | |
de.learnlib.mapper | |
de.learnlib.mapper.api |
Modifier and Type | Method and Description |
---|---|
O |
SUL.step(I in)
make one step on the SUL.
|
Modifier and Type | Method and Description |
---|---|
O |
MealySimulatorSUL.step(I in) |
Modifier and Type | Method and Description |
---|---|
Object |
ConcreteMethodInput.execute() |
Modifier and Type | Method and Description |
---|---|
O |
SymbolCounterSUL.step(I in) |
O |
ResetCounterSUL.step(I in) |
Modifier and Type | Method and Description |
---|---|
AO |
MappedSUL.step(AI in) |
O |
ExecutableInputSUL.step(I in) |
O |
AbstractContextExecutableInputSUL.step(I in) |
Modifier and Type | Method and Description |
---|---|
default SULMapper.MappedException<? extends AO> |
SULMapper.mapWrappedException(SULException exception)
Maps a wrapped
SULException to an abstract output symbol, or rethrows it if it is unmappable. |
static <AO> SULMapper.MappedException<AO> |
SULMapper.MappedException.pass(SULException exception) |
Modifier and Type | Method and Description |
---|---|
CO |
ExecutableInput.execute()
executes the input.
|
O |
ContextExecutableInput.execute(C context) |
default SULMapper.MappedException<? extends AO> |
SULMapper.mapWrappedException(SULException exception)
Maps a wrapped
SULException to an abstract output symbol, or rethrows it if it is unmappable. |
static <AO> SULMapper.MappedException<AO> |
SULMapper.MappedException.pass(SULException exception) |
Copyright © 2018. All rights reserved.