Package de.learnlib.api

Interface Summary

Interface	Description
AccessSequenceTransformer<I>
EquivalenceOracle<A,I,O>	An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle<I>
EquivalenceOracle.MealyEquivalenceOracle<I,O>
Filter<I,O>	A filter is an oracle that can be used as the middle element in a chain of oracles.
LearningAlgorithm<M,I,O>	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner<I>
LearningAlgorithm.MealyLearner<I,O>
MembershipOracle<I,O>	Membership oracle interface.
MembershipOracle.DFAMembershipOracle<I>
MembershipOracle.MealyMembershipOracle<I,O>
QueryAnswerer<I,O>
SUL<I,O>	Interface for a system under learning (SUL) that can make single steps.
SupportsGrowingAlphabet<I>

Class Summary

Class	Description
Query<I,O>