de.learnlib.algorithms.kv.dfa

Class KearnsVaziraniDFA.BuilderDefaults

java.lang.Object

de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFA.BuilderDefaults

Enclosing class:

KearnsVaziraniDFA<I>

public static final class KearnsVaziraniDFA.BuilderDefaults
extends Object

Method Summary

Modifier and Type	Method and Description
static AcexAnalyzer	counterexampleAnalyzer()
static boolean	repeatedCounterexampleEvaluation()

Methods inherited from class java.lang.Object

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

Method Detail

repeatedCounterexampleEvaluation

public static boolean repeatedCounterexampleEvaluation()

counterexampleAnalyzer

public static AcexAnalyzer counterexampleAnalyzer()