equivalence_oracle_memo.hh

 
#pragma once
 
#include "equivalence.hh"
#include "equivalence_oracle_by_test.hh"
 
namespace learnta {
  class EquivalenceOracleMemo : public EquivalenceOracle {
  private:
    std::unique_ptr<EquivalenceOracle> oracle;
    EquivalenceOracleByTest oracleByTest;
  public:
    EquivalenceOracleMemo (std::unique_ptr<EquivalenceOracle> &&oracle, const TimedAutomaton &target) : oracle(std::move(oracle)), oracleByTest(target) {}
 
    [[nodiscard]] std::optional<TimedWord> findCounterExample(const TimedAutomaton &hypothesis) override {
      ++eqQueryCount;
      auto result = oracleByTest.findCounterExample(hypothesis);
      if (result) {
        return result;
      } else {
        result = oracle->findCounterExample(hypothesis);
        if (result) {
          oracleByTest.push_back(*result);
        }
 
        return result;
      }
    }
 
    std::ostream &printStatistics(std::ostream &stream) const override {
      stream << "Number of equivalence queries: " << this->numEqQueries() << "\n";
      stream << "Number of equivalence queries (with cache): " << this->oracle->numEqQueries() << "\n";
 
      return stream;
    }
  };
}