Package de.learnlib.api.oracle

Interface Summary

Interface	Description
EquivalenceOracle<A,I,D>	An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle<I>	A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle<I,O>	A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
Filter<I,D>	A filter is an oracle that can be used as the middle element in a chain of oracles.
MembershipOracle<I,D>	Membership oracle interface.
MembershipOracle.DFAMembershipOracle<I>
MembershipOracle.MealyMembershipOracle<I,O>
QueryAnswerer<I,D>
SingleQueryOracle<I,D>	Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a QueryAnswerer, and that cannot profit from batch processing of queries.
SingleQueryOracle.SingleQueryOracleDFA<I>
SingleQueryOracle.SingleQueryOracleMealy<I,O>
SymbolQueryOracle<I,O>	Symbol query interface.