Uses of Interface
de.learnlib.algorithm.lstar.closing.ClosingStrategy

Packages that use ClosingStrategy

Package	Description
de.learnlib.algorithm.lstar
de.learnlib.algorithm.lstar.closing
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore
de.learnlib.algorithm.malerpnueli
de.learnlib.algorithm.rivestschapire

Uses of ClosingStrategy in de.learnlib.algorithm.lstar

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

Modifier and Type	Field	Description
protected ClosingStrategy<? super I,? super D>	AbstractExtensibleAutomatonLStar.closingStrategy

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

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

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

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 ClosingStrategy in de.learnlib.algorithm.lstar.closing

Classes in de.learnlib.algorithm.lstar.closing that implement ClosingStrategy

Modifier and Type	Class	Description
class	CloseRandomStrategy

Fields in de.learnlib.algorithm.lstar.closing declared as ClosingStrategy

Modifier and Type	Field	Description
static ClosingStrategy<@Nullable Object,@Nullable Object>	ClosingStrategies.CLOSE_FIRST	Closing strategy that selects the first row from each equivalence class as representative.
static ClosingStrategy<@Nullable Object,@Nullable Object>	ClosingStrategies.CLOSE_LEX_MIN	Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.
static ClosingStrategy<@Nullable Object,@Nullable Object>	ClosingStrategies.CLOSE_RANDOM	Closing strategy that randomly selects one representative row to close from each equivalence class.
static ClosingStrategy<@Nullable Object,@Nullable Object>	ClosingStrategies.CLOSE_SHORTEST	Closing strategy that selects the shortest row of each equivalence class (more precisely: a row which's prefix has minimal length in the respective class) as representative.

Methods in de.learnlib.algorithm.lstar.closing that return ClosingStrategy

Modifier and Type	Method	Description
static ClosingStrategy<@Nullable Object,@Nullable Object>[]	ClosingStrategies.values()

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

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

Modifier and Type	Method	Description
ClosingStrategy<? super I,? super Boolean>	ExtensibleLStarDFABuilder.getClosingStrategy()	Returns the current value for the parameter closingStrategy.

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

Modifier and Type	Method	Description
void	ExtensibleLStarDFABuilder.setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)	Sets the new value for the parameter closingStrategy.
ExtensibleLStarDFABuilder<I>	ExtensibleLStarDFABuilder.withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.

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

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 ClosingStrategy in de.learnlib.algorithm.lstar.mealy

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

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

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

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

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

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 ClosingStrategy in de.learnlib.algorithm.lstar.moore

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

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

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

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

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

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)

Uses of ClosingStrategy in de.learnlib.algorithm.malerpnueli

Methods in de.learnlib.algorithm.malerpnueli that return ClosingStrategy

Modifier and Type	Method	Description
ClosingStrategy<? super I,? super Boolean>	MalerPnueliDFABuilder.getClosingStrategy()	Returns the current value for the parameter closingStrategy.
ClosingStrategy<? super I,? super net.automatalib.word.Word<O>>	MalerPnueliMealyBuilder.getClosingStrategy()	Returns the current value for the parameter closingStrategy.
ClosingStrategy<? super I,? super net.automatalib.word.Word<O>>	MalerPnueliMooreBuilder.getClosingStrategy()	Returns the current value for the parameter closingStrategy.

Methods in de.learnlib.algorithm.malerpnueli with parameters of type ClosingStrategy

Modifier and Type	Method	Description
void	MalerPnueliDFABuilder.setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)	Sets the new value for the parameter closingStrategy.
void	MalerPnueliMealyBuilder.setClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy.
void	MalerPnueliMooreBuilder.setClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy.
MalerPnueliDFABuilder<I>	MalerPnueliDFABuilder.withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.
MalerPnueliMealyBuilder<I,O>	MalerPnueliMealyBuilder.withClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.
MalerPnueliMooreBuilder<I,O>	MalerPnueliMooreBuilder.withClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.

Constructors in de.learnlib.algorithm.malerpnueli with parameters of type ClosingStrategy

Constructor	Description
MalerPnueliDFA(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<net.automatalib.word.Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Boolean> closingStrategy)
MalerPnueliMealy(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle, List<net.automatalib.word.Word<I>> initialSuffixes, ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)
MalerPnueliMoore(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle, List<net.automatalib.word.Word<I>> initialSuffixes, ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)

Uses of ClosingStrategy in de.learnlib.algorithm.rivestschapire

Methods in de.learnlib.algorithm.rivestschapire that return ClosingStrategy

Modifier and Type	Method	Description
ClosingStrategy<? super I,? super Boolean>	RivestSchapireDFABuilder.getClosingStrategy()	Returns the current value for the parameter closingStrategy.
ClosingStrategy<? super I,? super net.automatalib.word.Word<O>>	RivestSchapireMealyBuilder.getClosingStrategy()	Returns the current value for the parameter closingStrategy.
ClosingStrategy<? super I,? super net.automatalib.word.Word<O>>	RivestSchapireMooreBuilder.getClosingStrategy()	Returns the current value for the parameter closingStrategy.

Methods in de.learnlib.algorithm.rivestschapire with parameters of type ClosingStrategy

Modifier and Type	Method	Description
void	RivestSchapireDFABuilder.setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)	Sets the new value for the parameter closingStrategy.
void	RivestSchapireMealyBuilder.setClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy.
void	RivestSchapireMooreBuilder.setClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy.
RivestSchapireDFABuilder<I>	RivestSchapireDFABuilder.withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.
RivestSchapireMealyBuilder<I,O>	RivestSchapireMealyBuilder.withClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.
RivestSchapireMooreBuilder<I,O>	RivestSchapireMooreBuilder.withClosingStrategy(ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.

Constructors in de.learnlib.algorithm.rivestschapire with parameters of type ClosingStrategy

Constructor	Description
RivestSchapireDFA(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<net.automatalib.word.Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Boolean> closingStrategy)
RivestSchapireMealy(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle, List<net.automatalib.word.Word<I>> initialSuffixes, ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)
RivestSchapireMoore(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.word.Word<O>> oracle, List<net.automatalib.word.Word<I>> initialSuffixes, ClosingStrategy<? super I,? super net.automatalib.word.Word<O>> closingStrategy)