Package de.learnlib.driver

Class Summary

Class	Description
AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>	Abstract base class for a SUL that step-wisely executes ContextExecutableInput symbols.
ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>	A SUL that executes ContextExecutableInput symbols.
ExecutableInputSUL<I extends ExecutableInput<? extends O>,O>	A SUL that executes ExecutableInput symbols.