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.
|
Copyright © 2018. All rights reserved.