de.learnlib.algorithms.lstar

Class AbstractExtensibleAutomatonLStar.BuilderDefaults

java.lang.Object

de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults

Enclosing class:

AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>>

public static final class AbstractExtensibleAutomatonLStar.BuilderDefaults
extends Object

Constructor Summary

Constructors

Constructor and Description
BuilderDefaults()

Method Summary

Modifier and Type	Method and Description
static <I,D> ObservationTableCEXHandler<? super I,? super D>	cexHandler()
static <I,D> ClosingStrategy<? super I,? super D>	closingStrategy()
static <I> List<net.automatalib.words.Word<I>>	initialPrefixes()
static <I> List<net.automatalib.words.Word<I>>	initialSuffixes()

Methods inherited from class java.lang.Object

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

Constructor Detail

BuilderDefaults

public BuilderDefaults()

Method Detail

initialPrefixes

public static <I> List<net.automatalib.words.Word<I>> initialPrefixes()

initialSuffixes

public static <I> List<net.automatalib.words.Word<I>> initialSuffixes()

cexHandler

public static <I,D> ObservationTableCEXHandler<? super I,? super D> cexHandler()

closingStrategy

public static <I,D> ClosingStrategy<? super I,? super D> closingStrategy()