Uses of Package
de.learnlib.sul

Packages that use de.learnlib.sul

Package	Description
de.learnlib.driver
de.learnlib.driver.reflect
de.learnlib.driver.simulator
de.learnlib.filter.cache.sul
de.learnlib.filter.statistic.sul
de.learnlib.mapper
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.membership
de.learnlib.oracle.parallelism
de.learnlib.statistic
de.learnlib.sul	This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs).
de.learnlib.testsupport	This package (including sub-packages) contains utility code for formalizing test-cases.

Classes in de.learnlib.sul used by de.learnlib.driver

Class	Description
ContextExecutableInput	A context executable input is an input that performs a specific action on a SUL itself, given a specific execution context.
ContextHandler	Facility for creating and disposing of contexts on which ContextExecutableInputs operate.
ExecutableInput	An executable input is an input that performs a specific action on a SUL itself.
SUL	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.driver.reflect

Class	Description
ContextExecutableInput	A context executable input is an input that performs a specific action on a SUL itself, given a specific execution context.
SUL	Interface for a system under learning (SUL) that can make single steps.
SULMapper	An extension of the Mapper interface specifically for SULs.

Classes in de.learnlib.sul used by de.learnlib.driver.simulator

Class	Description
ObservableSUL	A System Under Learning (SUL) where at any point in time the internal state can be observed.
StateLocalInputSUL	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	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.filter.cache.sul

Class	Description
StateLocalInputSUL	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	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.filter.statistic.sul

Class	Description
ObservableSUL	A System Under Learning (SUL) where at any point in time the internal state can be observed.
StateLocalInputSUL	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	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.mapper

Class	Description
SUL	Interface for a system under learning (SUL) that can make single steps.
SULMapper	An extension of the Mapper interface specifically for SULs.

Classes in de.learnlib.sul used by de.learnlib.oracle.equivalence.mealy

Class	Description
SUL	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.oracle.membership

Class	Description
ObservableSUL	A System Under Learning (SUL) where at any point in time the internal state can be observed.
StateLocalInputSUL	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	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.oracle.parallelism

Class	Description
ObservableSUL	A System Under Learning (SUL) where at any point in time the internal state can be observed.
StateLocalInputSUL	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	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.statistic

Class	Description
SUL	Interface for a system under learning (SUL) that can make single steps.

Classes in de.learnlib.sul used by de.learnlib.sul

Class	Description
ObservableSUL	A System Under Learning (SUL) where at any point in time the internal state can be observed.
StateLocalInputSUL	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	Interface for a system under learning (SUL) that can make single steps.
SULMapper	An extension of the Mapper interface specifically for SULs.

Classes in de.learnlib.sul used by de.learnlib.testsupport

Class	Description
SUL	Interface for a system under learning (SUL) that can make single steps.