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, I, D> implements EquivalenceOracle { -public class SimpleEQOracle, I, D> { + private static final Logger LOGGER = LoggerFactory.getLogger(SimpleEQOracle.class); private final EquivalenceOracle eqOracle; @@ -31,7 +39,11 @@ public static , I, D> SimpleEQOracle c return new SimpleEQOracle<>(eqOracle); } - public DefaultQuery findCounterExample(A hypothesis) { + @Nullable + @Override + public DefaultQuery findCounterExample(A hypothesis, Collection inputs) { + LOGGER.debug("Ignoring the set of inputs '{}', because I always use the complete hypothesis' input alphabet", + inputs); return eqOracle.findCounterExample(hypothesis, hypothesis.getInputAlphabet()); } }