Package de.learnlib.algorithm.lstar.ce

Class ObservationTableCEXHandlers

java.lang.Object

de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers

public final class ObservationTableCEXHandlers
extends Object

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	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 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<@Nullable Object,@Nullable 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<@Nullable Object,@Nullable Object> CLASSIC_LSTAR

SUFFIX1BY1

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> SUFFIX1BY1

MALER_PNUELI

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> MALER_PNUELI

SHAHBAZ

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> SHAHBAZ

FIND_LINEAR

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> FIND_LINEAR

FIND_LINEAR_ALLSUFFIXES

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> FIND_LINEAR_ALLSUFFIXES

FIND_LINEAR_REVERSE

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> FIND_LINEAR_REVERSE

FIND_LINEAR_REVERSE_ALLSUFFIXES

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> FIND_LINEAR_REVERSE_ALLSUFFIXES

RIVEST_SCHAPIRE

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object> RIVEST_SCHAPIRE

RIVEST_SCHAPIRE_ALLSUFFIXES

public static final ObservationTableCEXHandler<@Nullable Object,@Nullable 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 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<@Nullable Object,@Nullable Object>[] values()