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