Package de.learnlib.sul

This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs).

Interface Summary

Interface	Description
ContextExecutableInput<O,C>	A context executable input is an input that performs a specific action on a SUL itself, given a specific execution context.
ContextHandler<C>	Facility for creating and disposing of contexts on which ContextExecutableInputs operate.
ExecutableInput<O>	An executable input is an input that performs a specific action on a SUL itself.
ObservableSUL<S,I,O>	A System Under Learning (SUL) where at any point in time the internal state can be observed.
StateLocalInputSUL<I,O>	A System Under Learning (SUL) which can additionally report the inputs that the SUL can process in its current state, i.e. inputs that will not trigger a SULException when used in the next invocation of the SUL.step(Object) method return an otherwise "undefined" behavior.
SUL<I,O>	Interface for a system under learning (SUL) that can make single steps.
SULMapper<AI,AO,CI,CO>	An extension of the Mapper interface specifically for SULs.