Interface and Description |
---|
de.learnlib.oracles.ParallelSingleQueryOracle
since 2015-05-10. Parallelization of query processing should not be determined
by an oracle implementation and always be configurable. Instead, implement
SingleQueryOracle (or the respective specialization) and use the
MQUtil.PARALLEL_THRESHOLD variable (or setting) to configure parallelization. |
Class and Description |
---|
de.learnlib.oracles.AbstractSingleQueryOracle
since 2015-05-10. This class is no longer necessary due to the introduction
of default methods. Instead, implement
SingleQueryOracle (or the respective specialization)
directly. |
de.learnlib.oracles.AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA |
de.learnlib.oracles.AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy |
de.learnlib.cache.Caches
since 2014-01-24. Use methods defined in
DFACaches , MealyCaches , or SULCaches , respectively. |
de.learnlib.oracles.OracleQueryAnswerer
since 2015-05-10.
MembershipOracle now extends QueryAnswerer ,
rendering this class obsolete. |
de.learnlib.oracles.SafeOracle
since 2015-05-10. This class has no real (and reasonable) use case.
All it does is to check whether the collection of queries passed to
SafeOracle.processQueries(Collection) is being modified. However, this is highly unlikely,
and wrapping the passed queries using Collections.unmodifiableCollection(Collection)
is a way better approach for intercepting these cases than wrapping the oracle. |
Method and Description |
---|
de.learnlib.cache.Caches.createDFACache(Alphabet<I>, MembershipOracle<I, Boolean>)
since 2014-01-24. Use
DFACaches.createCache(Alphabet, MembershipOracle) |
de.learnlib.cache.Caches.createMealyCache(Alphabet<I>, MembershipOracle<I, Word<O>>)
since 2014-01-24. Use
MealyCaches.createCache(Alphabet, MembershipOracle) |
de.learnlib.cache.Caches.createSULCache(Alphabet<I>, SUL<I, O>)
since 2014-01-24. Use
SULCaches.createCache(Alphabet, SUL) |
de.learnlib.logging.LearnLogger.defaultSetup()
The use of this method is discouraged as it interferes with
(proper) file-based or class-based configuration of logging.
|
de.learnlib.oracles.MQUtil.output(MembershipOracle<I, D>, Word<I>) |
de.learnlib.oracles.MQUtil.output(MembershipOracle<I, D>, Word<I>, Word<I>) |
Constructor and Description |
---|
de.learnlib.cache.dfa.DFACacheOracle(Alphabet<I>, MembershipOracle<I, Boolean>)
since 2014-01-24. Use
DFACaches.createCache(Alphabet, MembershipOracle) |
de.learnlib.cache.mealy.MealyCacheOracle(Alphabet<I>, Mapping<? super O, ? extends O>, MembershipOracle<I, Word<O>>)
since 2014-01-23. Use
MealyCacheOracle.createDAGCacheOracle(Alphabet, Mapping, MembershipOracle) to reproduce old
behavior. |
de.learnlib.cache.mealy.MealyCacheOracle(Alphabet<I>, MembershipOracle<I, Word<O>>)
since 2014-01-23. Use
MealyCacheOracle.createDAGCacheOracle(Alphabet, MembershipOracle) to reproduce old behavior. |
de.learnlib.cache.sul.SULCache(Alphabet<I>, SUL<I, O>)
since 2014-01-24. Use
Caches.createSULCache(Alphabet, SUL) |
Copyright © 2015. All rights reserved.