Uses of Interface
de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandler

Packages that use ObservationTableCEXHandler

Package	Description
de.learnlib.algorithms.lstargeneric
de.learnlib.algorithms.lstargeneric.ce
de.learnlib.algorithms.lstargeneric.dfa
de.learnlib.algorithms.lstargeneric.mealy

Uses of ObservationTableCEXHandler in de.learnlib.algorithms.lstargeneric

Fields in de.learnlib.algorithms.lstargeneric declared as ObservationTableCEXHandler

Modifier and Type	Field and Description
protected ObservationTableCEXHandler<? super I,? super D>	ExtensibleAutomatonLStar.cexHandler

Methods in de.learnlib.algorithms.lstargeneric that return ObservationTableCEXHandler

Modifier and Type	Method and Description
static <I,D> ObservationTableCEXHandler<? super I,? super D>	ExtensibleAutomatonLStar.BuilderDefaults.cexHandler()

Constructors in de.learnlib.algorithms.lstargeneric with parameters of type ObservationTableCEXHandler

Constructor and Description
ExtensibleAutomatonLStar(Alphabet<I> alphabet, MembershipOracle<I,D> oracle, AI internalHyp, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super D> cexHandler, ClosingStrategy<? super I,? super D> closingStrategy)

Uses of ObservationTableCEXHandler in de.learnlib.algorithms.lstargeneric.ce

Fields in de.learnlib.algorithms.lstargeneric.ce declared as ObservationTableCEXHandler

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

Methods in de.learnlib.algorithms.lstargeneric.ce that return ObservationTableCEXHandler

Modifier and Type	Method and Description
static <I,D> ObservationTableCEXHandler<I,D>	ObservationTableCEXHandlers.fromGlobalSuffixFinder(GlobalSuffixFinder<I,D> globalFinder)
static <I,D> ObservationTableCEXHandler<I,D>	ObservationTableCEXHandlers.fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder)
static <I,D> ObservationTableCEXHandler<I,D>	ObservationTableCEXHandlers.fromLocalSuffixFinder(LocalSuffixFinder<I,D> localFinder, boolean allSuffixes)
static ObservationTableCEXHandler<Object,Object>[]	ObservationTableCEXHandlers.values()

Uses of ObservationTableCEXHandler in de.learnlib.algorithms.lstargeneric.dfa

Constructors in de.learnlib.algorithms.lstargeneric.dfa with parameters of type ObservationTableCEXHandler

Constructor and Description
ExtensibleLStarDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Boolean> cexHandler, ClosingStrategy<? super I,? super Boolean> closingStrategy)
ExtensibleLStarDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Boolean> cexHandler, ClosingStrategy<? super I,? super Boolean> closingStrategy) Constructor.

Uses of ObservationTableCEXHandler in de.learnlib.algorithms.lstargeneric.mealy

Methods in de.learnlib.algorithms.lstargeneric.mealy with parameters of type ObservationTableCEXHandler

Modifier and Type	Method and Description
static <A extends MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O>	ClassicLStarMealy.createForSymbolOracle(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<I,O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
static <A extends MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O>	ClassicLStarMealy.createForWordOracle(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)

Constructors in de.learnlib.algorithms.lstargeneric.mealy with parameters of type ObservationTableCEXHandler

Constructor and Description
ClassicLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
ClassicLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy) Constructor.
ExtensibleLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialPrefixes, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
ExtensibleLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler, ClosingStrategy<? super I,? super Word<O>> closingStrategy)