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>	MAHLER_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

Methods

Modifier and Type	Method and Description
static <I,O> ObservationTableCEXHandler<I,O>	fromGlobalSuffixFinder(GlobalSuffixFinder<I,O> globalFinder)
static <I,O> ObservationTableCEXHandler<I,O>	fromLocalSuffixFinder(LocalSuffixFinder<I,O> localFinder)
static <I,O> ObservationTableCEXHandler<I,O>	fromLocalSuffixFinder(LocalSuffixFinder<I,O> localFinder, boolean allSuffixes)
static <I,O> List<List<Row<I>>>	handleClassicLStar(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	handleGlobalSuffixes(ObservationTable<I,O> table, List<Word<I>> suffixes, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	handleSuffix1by1(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)

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

MAHLER_PNUELI

public static ObservationTableCEXHandler<Object,Object> MAHLER_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,O> ObservationTableCEXHandler<I,O> fromGlobalSuffixFinder(GlobalSuffixFinder<I,O> globalFinder)

fromLocalSuffixFinder

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

fromLocalSuffixFinder

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

handleClassicLStar

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

handleSuffix1by1

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

handleGlobalSuffixes

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

handleLocalSuffix

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

handleLocalSuffix

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