de.learnlib.algorithms.lstargeneric

Class ExtensibleAutomatonLStar.BuilderDefaults

java.lang.Object

de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults

Enclosing class:

ExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>>

public static final class ExtensibleAutomatonLStar.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<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

Constructor Detail

BuilderDefaults

public BuilderDefaults()

Method Detail

initialPrefixes

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

initialSuffixes

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