de.learnlib.algorithms.lstargeneric.ce

Class ObservationTableCEXHandlers

java.lang.Object

de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers

public 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

Constructor Summary

Constructors

Constructor and Description
ObservationTableCEXHandlers()

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, ObservationTable<I,D> table, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleGlobalSuffixes(ObservationTable<I,D> table, List<? extends Word<I>> suffixes, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleLocalSuffix(Query<I,D> ceQuery, ObservationTable<I,D> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleLocalSuffix(Query<I,D> ceQuery, ObservationTable<I,D> table, int suffixIndex, MembershipOracle<I,D> oracle)
static <I,D> List<List<Row<I>>>	handleSuffix1by1(DefaultQuery<I,D> ceQuery, ObservationTable<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 ObservationTableCEXHandler<Object,Object> CLASSIC_LSTAR

SUFFIX1BY1

public static ObservationTableCEXHandler<Object,Object> SUFFIX1BY1

MALER_PNUELI

public static ObservationTableCEXHandler<Object,Object> MALER_PNUELI

SHAHBAZ

public static ObservationTableCEXHandler<Object,Object> SHAHBAZ

FIND_LINEAR

public static ObservationTableCEXHandler<Object,Object> FIND_LINEAR

FIND_LINEAR_ALLSUFFIXES

public static ObservationTableCEXHandler<Object,Object> FIND_LINEAR_ALLSUFFIXES

FIND_LINEAR_REVERSE

public static ObservationTableCEXHandler<Object,Object> FIND_LINEAR_REVERSE

FIND_LINEAR_REVERSE_ALLSUFFIXES

public static ObservationTableCEXHandler<Object,Object> FIND_LINEAR_REVERSE_ALLSUFFIXES

RIVEST_SCHAPIRE

public static ObservationTableCEXHandler<Object,Object> RIVEST_SCHAPIRE

RIVEST_SCHAPIRE_ALLSUFFIXES

public static ObservationTableCEXHandler<Object,Object> RIVEST_SCHAPIRE_ALLSUFFIXES

Constructor Detail

ObservationTableCEXHandlers

public ObservationTableCEXHandlers()

Method Detail

fromGlobalSuffixFinder

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

fromLocalSuffixFinder

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

fromLocalSuffixFinder

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

handleClassicLStar

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

handleSuffix1by1

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

handleGlobalSuffixes

public static <I,D> List<List<Row<I>>> handleGlobalSuffixes(ObservationTable<I,D> table,
                                                            List<? extends Word<I>> suffixes,
                                                            MembershipOracle<I,D> oracle)

handleLocalSuffix

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

handleLocalSuffix

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

values

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