equivalance_oracle_chain.hh

 
#pragma once
 
#include <vector>
 
#include "equivalence_oracle.hh"
 
namespace learnta {
  class EquivalenceOracleChain : public EquivalenceOracle {
    std::vector<std::unique_ptr<EquivalenceOracle>> oracles;
  public:
    [[nodiscard]] std::optional<TimedWord> findCounterExample(const TimedAutomaton &hypothesis) override {
      ++eqQueryCount;
      for (const auto &oracle: this->oracles) {
        auto result = oracle->findCounterExample(hypothesis);
        if (result) {
          return result;
        }
      }
 
      return std::nullopt;
    }
 
    void push_back(std::unique_ptr<EquivalenceOracle> &&oracle) {
      oracles.push_back(std::move(oracle));
    }
  };
}