Uses of Interface
de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandler

Packages that use ObservationTableCEXHandler

Package	Description
de.learnlib.algorithm.lstar
de.learnlib.algorithm.lstar.ce
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore

Uses of ObservationTableCEXHandler in de.learnlib.algorithm.lstar

Fields in de.learnlib.algorithm.lstar declared as ObservationTableCEXHandler

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

Methods in de.learnlib.algorithm.lstar that return ObservationTableCEXHandler

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

Constructors in de.learnlib.algorithm.lstar with parameters of type ObservationTableCEXHandler

Constructor	Description
AbstractExtensibleAutomatonLStar(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,D> oracle, AI internalHyp, List<net.automatalib.word.Word<I>> initialPrefixes, List<net.automatalib.word.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super D> cexHandler, ClosingStrategy<? super I,? super D> closingStrategy)

Uses of ObservationTableCEXHandler in de.learnlib.algorithm.lstar.ce

Fields in de.learnlib.algorithm.lstar.ce declared as ObservationTableCEXHandler

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

Methods in de.learnlib.algorithm.lstar.ce that return ObservationTableCEXHandler

Modifier and Type	Method	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<@Nullable Object,@Nullable Object>[]	ObservationTableCEXHandlers.values()

Uses of ObservationTableCEXHandler in de.learnlib.algorithm.lstar.dfa

Methods in de.learnlib.algorithm.lstar.dfa that return ObservationTableCEXHandler

Modifier and Type	Method	Description
ObservationTableCEXHandler<? super I,? super Boolean>	ExtensibleLStarDFABuilder.getCexHandler()	Returns the current value for the parameter cexHandler.

Methods in de.learnlib.algorithm.lstar.dfa with parameters of type ObservationTableCEXHandler

Modifier and Type	Method	Description
void	ExtensibleLStarDFABuilder.setCexHandler(ObservationTableCEXHandler<? super I,? super Boolean> cexHandler)	Sets the new value for the parameter cexHandler.
ExtensibleLStarDFABuilder<I>	ExtensibleLStarDFABuilder.withCexHandler(ObservationTableCEXHandler<? super I,? super Boolean> cexHandler)	Sets the new value for the parameter cexHandler and returns this builder instance.

Constructors in de.learnlib.algorithm.lstar.dfa with parameters of type ObservationTableCEXHandler

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

Uses of ObservationTableCEXHandler in de.learnlib.algorithm.lstar.mealy

Methods in de.learnlib.algorithm.lstar.mealy that return ObservationTableCEXHandler

Modifier and Type	Method	Description
ObservationTableCEXHandler<? super I,? super O>	ClassicLStarMealyBuilder.getCexHandler()	Returns the current value for the parameter cexHandler.
ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>>	ExtensibleLStarMealyBuilder.getCexHandler()	Returns the current value for the parameter cexHandler.

Methods in de.learnlib.algorithm.lstar.mealy with parameters of type ObservationTableCEXHandler

Modifier and Type	Method	Description
void	ClassicLStarMealyBuilder.setCexHandler(ObservationTableCEXHandler<? super I,? super O> cexHandler)	Sets the new value for the parameter cexHandler.
void	ExtensibleLStarMealyBuilder.setCexHandler(ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>> cexHandler)	Sets the new value for the parameter cexHandler.
ClassicLStarMealyBuilder<I,O>	ClassicLStarMealyBuilder.withCexHandler(ObservationTableCEXHandler<? super I,? super O> cexHandler)	Sets the new value for the parameter cexHandler and returns this builder instance.
ExtensibleLStarMealyBuilder<I,O>	ExtensibleLStarMealyBuilder.withCexHandler(ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>> cexHandler)	Sets the new value for the parameter cexHandler and returns this builder instance.

Constructors in de.learnlib.algorithm.lstar.mealy with parameters of type ObservationTableCEXHandler

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

Uses of ObservationTableCEXHandler in de.learnlib.algorithm.lstar.moore

Methods in de.learnlib.algorithm.lstar.moore that return ObservationTableCEXHandler

Modifier and Type	Method	Description
ObservationTableCEXHandler<? super I,? super O>	ClassicLStarMooreBuilder.getCexHandler()	Returns the current value for the parameter cexHandler.
ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>>	ExtensibleLStarMooreBuilder.getCexHandler()	Returns the current value for the parameter cexHandler.

Methods in de.learnlib.algorithm.lstar.moore with parameters of type ObservationTableCEXHandler

Modifier and Type	Method	Description
void	ClassicLStarMooreBuilder.setCexHandler(ObservationTableCEXHandler<? super I,? super O> cexHandler)	Sets the new value for the parameter cexHandler.
void	ExtensibleLStarMooreBuilder.setCexHandler(ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>> cexHandler)	Sets the new value for the parameter cexHandler.
ClassicLStarMooreBuilder<I,O>	ClassicLStarMooreBuilder.withCexHandler(ObservationTableCEXHandler<? super I,? super O> cexHandler)	Sets the new value for the parameter cexHandler and returns this builder instance.
ExtensibleLStarMooreBuilder<I,O>	ExtensibleLStarMooreBuilder.withCexHandler(ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>> cexHandler)	Sets the new value for the parameter cexHandler and returns this builder instance.

Constructors in de.learnlib.algorithm.lstar.moore with parameters of type ObservationTableCEXHandler

Constructor	Description
ClassicLStarMoore(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,O> oracle, List<net.automatalib.word.Word<I>> initialPrefixes, List<net.automatalib.word.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
ExtensibleLStarMoore(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle, List<net.automatalib.word.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>> cexHandler, ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)
ExtensibleLStarMoore(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle, List<net.automatalib.word.Word<I>> initialPrefixes, List<net.automatalib.word.Word<I>> initialSuffixes, ObservationTableCEXHandler<? super I,? super net.automatalib.word.Word<O>> cexHandler, ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)