Module de.learnlib.algorithm.lstar

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 final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	CLASSIC_LSTAR
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	FIND_LINEAR
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	FIND_LINEAR_ALLSUFFIXES
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	FIND_LINEAR_REVERSE
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	FIND_LINEAR_REVERSE_ALLSUFFIXES
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	MALER_PNUELI
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	RIVEST_SCHAPIRE
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	RIVEST_SCHAPIRE_ALLSUFFIXES
static final ObservationTableCEXHandler<@Nullable Object,@Nullable Object>	SHAHBAZ
static final 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 Details

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 Details

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()