Package | Description |
---|---|
de.learnlib.mapper |
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. |
Copyright © 2015. All rights reserved.