| 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.