Package de.learnlib.api

Interface Summary

Interface	Description
AccessSequenceProvider<I>	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
AccessSequenceTransformer<I>
Mapper<AI,AO,CI,CO>	A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.
Mapper.AsynchronousMapper<AI,AO,CI,CO>	A mapper refinement to establish the contract of a asynchronous, query-wise translation of input words.
Mapper.SynchronousMapper<AI,AO,CI,CO>	A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.
ObservableSUL<S,I,O>	A System Under Learning (SUL) where at any point in time the internal state can be observed.
Resumable<T extends Serializable>	Data structures that implement this interface can be "suspended" by means of exposing a serializable state object that contains all data that is necessary to resume from this state at a later point in time.
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.