Wrapper of an equivalence oracle to cache the queries. More...
#include <equivalence_oracle_memo.hh>
Inheritance diagram for learnta::EquivalenceOracleMemo:
Collaboration diagram for learnta::EquivalenceOracleMemo:
Public Member Functions | |
| EquivalenceOracleMemo (std::unique_ptr< EquivalenceOracle > &&oracle, const TimedAutomaton &target) | |
| std::optional< TimedWord > | findCounterExample (const TimedAutomaton &hypothesis) override |
| Make an equivalence query. | |
| std::ostream & | printStatistics (std::ostream &stream) const override |
| Print the statistics. | |
 Public Member Functions inherited from learnta::EquivalenceOracle | |
| std::size_t | numEqQueries () const |
| Return the number of the executed equivalence queries. | |
Additional Inherited Members | |
| Protected Attributes inherited from learnta::EquivalenceOracle | |
| std::size_t | eqQueryCount = 0 |
Detailed Description
Wrapper of an equivalence oracle to cache the queries.
This class memorizes all the previous counterexamples returned by the wrapped equivalence oracle. The memorized inputs are used to check the equivalence by testing before using the actual equivalence oracle.
The documentation for this class was generated from the following file:
- include/equivalence_oracle_memo.hh
