equivalence_oracle.hh

 
#pragma once
 
#include <optional>
 
#include "timed_automaton.hh"
#include "timed_word.hh"
 
namespace learnta {
  class EquivalenceOracle {
  protected:
    std::size_t eqQueryCount = 0;
  public:
    virtual ~EquivalenceOracle() = default;
 
    [[nodiscard]] virtual std::optional<TimedWord> findCounterExample(const TimedAutomaton &hypothesis) = 0;
 
    [[nodiscard]] std::size_t numEqQueries() const {
      return eqQueryCount;
    }
 
    virtual std::ostream &printStatistics(std::ostream &stream) const {
      stream << "Number of equivalence queries: " << this->numEqQueries() << "\n";
 
      return stream;
    }
  };
}