Package de.learnlib.util

Class MQUtil

java.lang.Object

de.learnlib.util.MQUtil

public final class MQUtil
extends Object

Method Summary

Modifier and Type	Method	Description
static <I,D> boolean	isCounterexample(DefaultQuery<I,D> query, net.automatalib.automaton.concept.SuffixOutput<I,D> hyp)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

isCounterexample

public static <I,D> boolean isCounterexample(DefaultQuery<I,D> query,
                                                   net.automatalib.automaton.concept.SuffixOutput<I,D> hyp)