From fba102346a37a29dbb0ae6be49ce5145a6539b89 Mon Sep 17 00:00:00 2001
From: Markus Frohme <markus.frohme@udo.edu>
Date: Wed, 6 Sep 2017 09:00:45 +0200
Subject: [PATCH] eqtests: make SimpleEQOracle implement EquivalenceOracle

---
 .../learnlib/eqtests/basic/SimpleEQOracle.java   | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/SimpleEQOracle.java b/eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/SimpleEQOracle.java
index 12bcf1ca48..4e2879780d 100644
--- a/eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/SimpleEQOracle.java
+++ b/eqtests/basic-eqtests/src/main/java/de/learnlib/eqtests/basic/SimpleEQOracle.java
@@ -15,11 +15,19 @@
  */
 package de.learnlib.eqtests.basic;
 
+import java.util.Collection;
+
+import javax.annotation.Nullable;
+
 import de.learnlib.api.EquivalenceOracle;
 import de.learnlib.oracles.DefaultQuery;
 import net.automatalib.automata.concepts.InputAlphabetHolder;
+import org.slf4j.Logger;
+import org.slf4j.LoggerFactory;
+
+public class SimpleEQOracle<A extends InputAlphabetHolder<I>, I, D> implements EquivalenceOracle<A, I, D> {
 
-public class SimpleEQOracle<A extends InputAlphabetHolder<I>, I, D> {
+    private static final Logger LOGGER = LoggerFactory.getLogger(SimpleEQOracle.class);
 
     private final EquivalenceOracle<A, I, D> eqOracle;
 
@@ -31,7 +39,11 @@ public static <A extends InputAlphabetHolder<I>, I, D> SimpleEQOracle<A, I, D> c
         return new SimpleEQOracle<>(eqOracle);
     }
 
-    public DefaultQuery<I, D> findCounterExample(A hypothesis) {
+    @Nullable
+    @Override
+    public DefaultQuery<I, D> findCounterExample(A hypothesis, Collection<? extends I> inputs) {
+        LOGGER.debug("Ignoring the set of inputs '{}', because I always use the complete hypothesis' input alphabet",
+                     inputs);
         return eqOracle.findCounterExample(hypothesis, hypothesis.getInputAlphabet());
     }
 }