Package de.learnlib.algorithm.lstar

Class AbstractExtensibleAutomatonLStar.BuilderDefaults

java.lang.Object

de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults

Enclosing class:

AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>>

public static final class AbstractExtensibleAutomatonLStar.BuilderDefaults
extends Object

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Detail

initialPrefixes

public static <I> List<Word<I>> initialPrefixes()

initialSuffixes

public static <I> List<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()