de.learnlib.algorithms.lstar.ce

Class ObservationTableCEXHandlers

java.lang.Object

de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

public final class ObservationTableCEXHandlers
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static ObservationTableCEXHandler<Object,Object>	CLASSIC_LSTAR
static ObservationTableCEXHandler<Object,Object>	FIND_LINEAR
static ObservationTableCEXHandler<Object,Object>	FIND_LINEAR_ALLSUFFIXES
static ObservationTableCEXHandler<Object,Object>	FIND_LINEAR_REVERSE
static ObservationTableCEXHandler<Object,Object>	FIND_LINEAR_REVERSE_ALLSUFFIXES
static ObservationTableCEXHandler<Object,Object>	MALER_PNUELI
static ObservationTableCEXHandler<Object,Object>	RIVEST_SCHAPIRE
static ObservationTableCEXHandler<Object,Object>	RIVEST_SCHAPIRE_ALLSUFFIXES
static ObservationTableCEXHandler<Object,Object>	SHAHBAZ
static ObservationTableCEXHandler<Object,Object>	SUFFIX1BY1

Method Summary

Modifier and Type	Method and Description
static <I,D> ObservationTableCEXHandler<I,D>	fromGlobalSuffixFinder(GlobalSuffixFinder<I,D> globalFinder)
static <I,D> ObservationTableCEXHandler<I,D>	fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder)
static <I,D> ObservationTableCEXHandler<I,D>	fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder, boolean allSuffixes)
static <I,D> List<List<Row<I>>>	handleClassicLStar(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleGlobalSuffixes(MutableObservationTable<I,D> table, List<? extends net.automatalib.words.Word<I>> suffixes, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleLocalSuffix(Query<I,D> ceQuery, MutableObservationTable<I,D> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleLocalSuffix(Query<I,D> ceQuery, MutableObservationTable<I,D> table, int suffixIndex, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleSuffix1by1(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)
static ObservationTableCEXHandler<Object,Object>[]	values()

Methods inherited from class java.lang.Object

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

Field Detail

CLASSIC_LSTAR

public static final ObservationTableCEXHandler<Object,Object> CLASSIC_LSTAR

SUFFIX1BY1

public static final ObservationTableCEXHandler<Object,Object> SUFFIX1BY1

MALER_PNUELI

public static final ObservationTableCEXHandler<Object,Object> MALER_PNUELI

SHAHBAZ

public static final ObservationTableCEXHandler<Object,Object> SHAHBAZ

FIND_LINEAR

public static final ObservationTableCEXHandler<Object,Object> FIND_LINEAR

FIND_LINEAR_ALLSUFFIXES

public static final ObservationTableCEXHandler<Object,Object> FIND_LINEAR_ALLSUFFIXES

FIND_LINEAR_REVERSE

public static final ObservationTableCEXHandler<Object,Object> FIND_LINEAR_REVERSE

FIND_LINEAR_REVERSE_ALLSUFFIXES

public static final ObservationTableCEXHandler<Object,Object> FIND_LINEAR_REVERSE_ALLSUFFIXES

RIVEST_SCHAPIRE

public static final ObservationTableCEXHandler<Object,Object> RIVEST_SCHAPIRE

RIVEST_SCHAPIRE_ALLSUFFIXES

public static final ObservationTableCEXHandler<Object,Object> RIVEST_SCHAPIRE_ALLSUFFIXES

Method Detail

fromGlobalSuffixFinder

public static <I,D> ObservationTableCEXHandler<I,D> fromGlobalSuffixFinder(GlobalSuffixFinder<I,D> globalFinder)

handleGlobalSuffixes

public static <I,D> List<List<Row<I>>> handleGlobalSuffixes(MutableObservationTable<I,D> table,
                                                            List<? extends net.automatalib.words.Word<I>> suffixes,
                                                            MembershipOracle<I,D> oracle)

fromLocalSuffixFinder

public static <I,D> ObservationTableCEXHandler<I,D> fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder)

fromLocalSuffixFinder

public static <I,D> ObservationTableCEXHandler<I,D> fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder,
                                                                          boolean allSuffixes)

handleLocalSuffix

public static <I,D> List<List<Row<I>>> handleLocalSuffix(Query<I,D> ceQuery,
                                                         MutableObservationTable<I,D> table,
                                                         int suffixIndex,
                                                         MembershipOracle<I,D> oracle)

handleLocalSuffix

public static <I,D> List<List<Row<I>>> handleLocalSuffix(Query<I,D> ceQuery,
                                                         MutableObservationTable<I,D> table,
                                                         int suffixIndex,
                                                         boolean allSuffixes,
                                                         MembershipOracle<I,D> oracle)

handleClassicLStar

public static <I,D> List<List<Row<I>>> handleClassicLStar(DefaultQuery<I,D> ceQuery,
                                                          MutableObservationTable<I,D> table,
                                                          MembershipOracle<I,D> oracle)

handleSuffix1by1

public static <I,D> List<List<Row<I>>> handleSuffix1by1(DefaultQuery<I,D> ceQuery,
                                                        MutableObservationTable<I,D> table,
                                                        MembershipOracle<I,D> oracle)

values

public static ObservationTableCEXHandler<Object,Object>[] values()