Uses of Package
de.learnlib.oracle
-
Classes in de.learnlib.oracle used by de.learnlib.acex Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.aaar Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.aaar.abstraction Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.aaar.explicit Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.aaar.generic Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.adt.adt Class Description SymbolQueryOracle Symbol query interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.adt.learner Class Description SymbolQueryOracle Symbol query interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.adt.util Class Description MembershipOracle Membership oracle interface.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.QueryAnswerer SymbolQueryOracle Symbol query interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.dhc.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.kv.dfa Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.kv.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.lstar Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.lstar.ce Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.lstar.closing Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.lstar.dfa Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.lstar.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.lstar.moore Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.malerpnueli Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.nlstar Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.observationpack Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.observationpack.dfa Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.observationpack.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.observationpack.moore Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.observationpack.vpa Class Description MembershipOracle Membership oracle interface.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.observationpack.vpa.hypothesis Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.oml.lstar Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.oml.ttt Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.oml.ttt.dfa Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.oml.ttt.dt Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.oml.ttt.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.procedural.adapter.dfa Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.procedural.adapter.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.procedural.sba Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.procedural.spa Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.procedural.spmm Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.rivestschapire Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.ttt.base Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.ttt.dfa Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.ttt.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.ttt.moore Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.algorithm.ttt.vpa Class Description MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s. -
Classes in de.learnlib.oracle used by de.learnlib.counterexample Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.datastructure.discriminationtree Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.datastructure.discriminationtree.model Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.datastructure.observationtable Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.filter.cache Class Description EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).MembershipOracle Membership oracle interface.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.MembershipOracle.MooreMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.QueryAnswerer -
Classes in de.learnlib.oracle used by de.learnlib.filter.cache.dfa Class Description EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.DFAEquivalenceOracle A specialization of theEquivalenceOracle
interface for a DFA learning scenario.MembershipOracle Membership oracle interface.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s.QueryAnswerer -
Classes in de.learnlib.oracle used by de.learnlib.filter.cache.mealy Class Description EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.MealyEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Mealy learning scenario.MembershipOracle Membership oracle interface.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.QueryAnswerer SymbolQueryOracle Symbol query interface. -
Classes in de.learnlib.oracle used by de.learnlib.filter.cache.moore Class Description EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.MooreEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Moore learning scenario.MembershipOracle Membership oracle interface.MembershipOracle.MooreMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.QueryAnswerer -
Classes in de.learnlib.oracle used by de.learnlib.filter.reuse Class Description MembershipOracle Membership oracle interface.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.QueryAnswerer SingleQueryOracle Base interface for oracles whose semantic is defined in terms of directly answering single queries (like aQueryAnswerer
), and that cannot profit from batch processing of queries.SingleQueryOracle.SingleQueryOracleMealy -
Classes in de.learnlib.oracle used by de.learnlib.filter.statistic.oracle Class Description MembershipOracle Membership oracle interface.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.MembershipOracle.MooreMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.QueryAnswerer SymbolQueryOracle Symbol query interface. -
Classes in de.learnlib.oracle used by de.learnlib.oracle Class Description AutomatonOracle Finds counterexamples (to particular claims) to a hypothesis, while generating words that are in the given hypothesis.BlackBoxOracle Decides whether some words that do not satisfy properties evaluated byBlackBoxOracle.getPropertyOracles()
on a given hypothesis, are included in a language.EmptinessOracle Decides whether the intersection of the language of a given hypothesis and some other language (e.g., from aSUL
) is empty.EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.DFAEquivalenceOracle A specialization of theEquivalenceOracle
interface for a DFA learning scenario.EquivalenceOracle.MealyEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Mealy learning scenario.InclusionOracle Decides whether the language of a given hypothesis is included in some other language (e.g., from aSUL
).InclusionOracle.DFAInclusionOracle InclusionOracle.MealyInclusionOracle LassoEmptinessOracle An emptiness oracle for lassos.LassoOracle An automaton oracle for lassos.MembershipOracle Membership oracle interface.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.MembershipOracle.MooreMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.OmegaMembershipOracle AnswersOmegaQuery
s, similar to aMembershipOracle
.OmegaMembershipOracle.DFAOmegaMembershipOracle OmegaMembershipOracle.MealyOmegaMembershipOracle OmegaQueryAnswerer AnswersOmegaQuery
s.PropertyOracle APropertyOracle
can disprove a property, and used to find a counter example to a hypothesis.QueryAnswerer SingleQueryOmegaOracle AnOmegaMembershipOracle
that answers single queries.SingleQueryOracle Base interface for oracles whose semantic is defined in terms of directly answering single queries (like aQueryAnswerer
), and that cannot profit from batch processing of queries. -
Classes in de.learnlib.oracle used by de.learnlib.oracle.equivalence Class Description AutomatonOracle Finds counterexamples (to particular claims) to a hypothesis, while generating words that are in the given hypothesis.AutomatonOracle.DFAOracle AutomatonOracle.MealyOracle BlackBoxOracle Decides whether some words that do not satisfy properties evaluated byBlackBoxOracle.getPropertyOracles()
on a given hypothesis, are included in a language.BlackBoxOracle.DFABlackBoxOracle BlackBoxOracle.MealyBlackBoxOracle EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.DFAEquivalenceOracle A specialization of theEquivalenceOracle
interface for a DFA learning scenario.EquivalenceOracle.MealyEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Mealy learning scenario.EquivalenceOracle.MooreEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Moore learning scenario.InclusionOracle Decides whether the language of a given hypothesis is included in some other language (e.g., from aSUL
).InclusionOracle.DFAInclusionOracle InclusionOracle.MealyInclusionOracle MembershipOracle Membership oracle interface.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.MembershipOracle.MooreMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.PropertyOracle APropertyOracle
can disprove a property, and used to find a counter example to a hypothesis.PropertyOracle.DFAPropertyOracle PropertyOracle.MealyPropertyOracle -
Classes in de.learnlib.oracle used by de.learnlib.oracle.equivalence.mealy Class Description EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.MealyEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Mealy learning scenario. -
Classes in de.learnlib.oracle used by de.learnlib.oracle.equivalence.sba Class 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.oracle used by de.learnlib.oracle.equivalence.spa Class 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.oracle used by de.learnlib.oracle.equivalence.spmm Class 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.oracle used by de.learnlib.oracle.equivalence.vpa Class 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.oracle used by de.learnlib.oracle.parallelism Class Description MembershipOracle Membership oracle interface.OmegaMembershipOracle AnswersOmegaQuery
s, similar to aMembershipOracle
.OmegaQueryAnswerer AnswersOmegaQuery
s.QueryAnswerer -
Classes in de.learnlib.oracle used by de.learnlib.oracle.property Class Description EmptinessOracle.DFAEmptinessOracle EmptinessOracle.MealyEmptinessOracle EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.DFAEquivalenceOracle A specialization of theEquivalenceOracle
interface for a DFA learning scenario.EquivalenceOracle.MealyEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Mealy learning scenario.InclusionOracle Decides whether the language of a given hypothesis is included in some other language (e.g., from aSUL
).InclusionOracle.DFAInclusionOracle InclusionOracle.MealyInclusionOracle LassoEmptinessOracle.DFALassoEmptinessOracle LassoEmptinessOracle.MealyLassoEmptinessOracle PropertyOracle APropertyOracle
can disprove a property, and used to find a counter example to a hypothesis.PropertyOracle.DFAPropertyOracle PropertyOracle.MealyPropertyOracle -
Classes in de.learnlib.oracle used by de.learnlib.statistic Class Description MembershipOracle Membership oracle interface.QueryAnswerer -
Classes in de.learnlib.oracle used by de.learnlib.testsupport Class Description EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).EquivalenceOracle.DFAEquivalenceOracle A specialization of theEquivalenceOracle
interface for a DFA learning scenario.EquivalenceOracle.MealyEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Mealy learning scenario.EquivalenceOracle.MooreEquivalenceOracle A specialization of theEquivalenceOracle
interface for a Moore learning scenario.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.MembershipOracle.MooreMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type. -
Classes in de.learnlib.oracle used by de.learnlib.testsupport.it.learner Class Description EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).MembershipOracle Membership oracle interface.MembershipOracle.DFAMembershipOracle A specialization of theMembershipOracle
that binds the output domain toBoolean
s.MembershipOracle.MealyMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type.MembershipOracle.MooreMembershipOracle A specialization of theMembershipOracle
that binds the output domain toWord
s of the specified output type. -
Classes in de.learnlib.oracle used by de.learnlib.util Class Description AutomatonOracle Finds counterexamples (to particular claims) to a hypothesis, while generating words that are in the given hypothesis.EquivalenceOracle An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).MembershipOracle Membership oracle interface.OmegaQueryAnswerer AnswersOmegaQuery
s.QueryAnswerer -
Classes in de.learnlib.oracle used by de.learnlib.util.mealy Class Description MembershipOracle Membership oracle interface. -
Classes in de.learnlib.oracle used by de.learnlib.util.moore Class Description MembershipOracle Membership oracle interface.