Module de.learnlib.api

Package de.learnlib

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 an 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.
Resumable<T>	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.