Uses of Package
de.learnlib.api.oracle

Packages that use de.learnlib.api.oracle

Package	Description
de.learnlib.algorithms.adt.adt
de.learnlib.algorithms.adt.learner
de.learnlib.algorithms.adt.util
de.learnlib.algorithms.dhc.mealy
de.learnlib.algorithms.discriminationtree
de.learnlib.algorithms.discriminationtree.dfa
de.learnlib.algorithms.discriminationtree.hypothesis.vpda
de.learnlib.algorithms.discriminationtree.mealy
de.learnlib.algorithms.discriminationtree.vpda
de.learnlib.algorithms.kv.dfa
de.learnlib.algorithms.kv.mealy
de.learnlib.algorithms.lstar
de.learnlib.algorithms.lstar.ce
de.learnlib.algorithms.lstar.closing
de.learnlib.algorithms.lstar.dfa
de.learnlib.algorithms.lstar.mealy
de.learnlib.algorithms.malerpnueli
de.learnlib.algorithms.nlstar
de.learnlib.algorithms.rivestschapire
de.learnlib.algorithms.ttt.base
de.learnlib.algorithms.ttt.dfa
de.learnlib.algorithms.ttt.mealy
de.learnlib.algorithms.ttt.vpda
de.learnlib.api.oracle
de.learnlib.api.statistic
de.learnlib.counterexamples
de.learnlib.counterexamples.acex
de.learnlib.datastructure.discriminationtree
de.learnlib.datastructure.discriminationtree.model
de.learnlib.datastructure.observationtable
de.learnlib.filter.cache
de.learnlib.filter.cache.dfa
de.learnlib.filter.cache.mealy
de.learnlib.filter.reuse
de.learnlib.filter.statistic.oracle
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.vpda
de.learnlib.oracle.membership
de.learnlib.oracle.parallelism
de.learnlib.util
de.learnlib.util.mealy

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.adt.adt

Class and Description
SymbolQueryOracle Symbol query interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.adt.learner

Class and Description
SymbolQueryOracle Symbol query interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.adt.util

Class and Description
MembershipOracle Membership oracle interface.
QueryAnswerer
SymbolQueryOracle Symbol query interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.dhc.mealy

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.discriminationtree

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.discriminationtree.dfa

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.discriminationtree.hypothesis.vpda

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.discriminationtree.mealy

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.discriminationtree.vpda

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.kv.dfa

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.kv.mealy

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.lstar

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.lstar.ce

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.lstar.closing

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.lstar.dfa

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.lstar.mealy

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.malerpnueli

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.nlstar

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.rivestschapire

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.ttt.base

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.ttt.dfa

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.ttt.mealy

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.algorithms.ttt.vpda

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.api.oracle

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
MembershipOracle Membership oracle interface.
MembershipOracle.DFAMembershipOracle
MembershipOracle.MealyMembershipOracle
QueryAnswerer
SingleQueryOracle 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.

Classes in de.learnlib.api.oracle used by de.learnlib.api.statistic

Class and Description
Filter A filter is an oracle that can be used as the middle element in a chain of oracles.
MembershipOracle Membership oracle interface.
QueryAnswerer

Classes in de.learnlib.api.oracle used by de.learnlib.counterexamples

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.counterexamples.acex

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.datastructure.discriminationtree

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.datastructure.discriminationtree.model

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.datastructure.observationtable

Class and Description
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.filter.cache

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
MembershipOracle Membership oracle interface.
MembershipOracle.DFAMembershipOracle
MembershipOracle.MealyMembershipOracle
QueryAnswerer

Classes in de.learnlib.api.oracle used by de.learnlib.filter.cache.dfa

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle A specialization of the EquivalenceOracle interface for a DFA learning scenario.
MembershipOracle Membership oracle interface.
MembershipOracle.DFAMembershipOracle
QueryAnswerer

Classes in de.learnlib.api.oracle used by de.learnlib.filter.cache.mealy

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.MealyEquivalenceOracle A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
MembershipOracle Membership oracle interface.
MembershipOracle.MealyMembershipOracle
QueryAnswerer
SymbolQueryOracle Symbol query interface.

Classes in de.learnlib.api.oracle used by de.learnlib.filter.reuse

Class and Description
MembershipOracle Membership oracle interface.
MembershipOracle.MealyMembershipOracle
QueryAnswerer
SingleQueryOracle 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.SingleQueryOracleMealy

Classes in de.learnlib.api.oracle used by de.learnlib.filter.statistic.oracle

Class and Description
Filter A filter is an oracle that can be used as the middle element in a chain of oracles.
MembershipOracle Membership oracle interface.
MembershipOracle.DFAMembershipOracle
MembershipOracle.MealyMembershipOracle
QueryAnswerer

Classes in de.learnlib.api.oracle used by de.learnlib.oracle.equivalence

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.oracle.equivalence.mealy

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.MealyEquivalenceOracle A specialization of the EquivalenceOracle interface for a Mealy learning scenario.

Classes in de.learnlib.api.oracle used by de.learnlib.oracle.equivalence.vpda

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
MembershipOracle Membership oracle interface.

Classes in de.learnlib.api.oracle used by de.learnlib.oracle.membership

Class and Description
Filter A filter is an oracle that can be used as the middle element in a chain of oracles.
MembershipOracle Membership oracle interface.
MembershipOracle.DFAMembershipOracle
MembershipOracle.MealyMembershipOracle
QueryAnswerer
SingleQueryOracle 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
SingleQueryOracle.SingleQueryOracleMealy
SymbolQueryOracle Symbol query interface.

Classes in de.learnlib.api.oracle used by de.learnlib.oracle.parallelism

Class and Description
MembershipOracle Membership oracle interface.
QueryAnswerer

Classes in de.learnlib.api.oracle used by de.learnlib.util

Class and Description
EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
MembershipOracle Membership oracle interface.
QueryAnswerer

Classes in de.learnlib.api.oracle used by de.learnlib.util.mealy

Class and Description
MembershipOracle Membership oracle interface.