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

Packages that use ClosingStrategy

Package	Description
de.learnlib.algorithm.lstar	This package (and sub-packages) provides the implementation of the L* learning algorithm described in the paper Learning Regular Sets from Queries and Counterexamples by Dana Angluin as well as multiple variations thereof.
de.learnlib.algorithm.lstar.closing
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore
de.learnlib.algorithm.malerpnueli	This package (and sub-packages) provides the implementation of the L* variation based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli.
de.learnlib.algorithm.rivestschapire	This package (and sub-packages) provides the implementation of the L* variation based on the paper Inference of finite automata using homing sequences by Ronald L. Rivest and Robert E. Schapire.

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(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 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()

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)
ExtensibleLStarDFABuilder<I>	ExtensibleLStarDFABuilder.withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)

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

Constructor	Description
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.
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)

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()
ClosingStrategy<? super I,? super Word<O>>	ExtensibleLStarMealyBuilder.getClosingStrategy()

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)
void	ExtensibleLStarMealyBuilder.setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
ClassicLStarMealyBuilder<I,O>	ClassicLStarMealyBuilder.withClosingStrategy(ClosingStrategy<? super I,? super O> closingStrategy)
ExtensibleLStarMealyBuilder<I,O>	ExtensibleLStarMealyBuilder.withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)

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

Constructor	Description
ClassicLStarMealy(Alphabet<I> alphabet, MembershipOracle<I,O> oracle, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)	Constructor.
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)
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)
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)

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()
ClosingStrategy<? super I,? super Word<O>>	ExtensibleLStarMooreBuilder.getClosingStrategy()

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)
void	ExtensibleLStarMooreBuilder.setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
ClassicLStarMooreBuilder<I,O>	ClassicLStarMooreBuilder.withClosingStrategy(ClosingStrategy<? super I,? super O> closingStrategy)
ExtensibleLStarMooreBuilder<I,O>	ExtensibleLStarMooreBuilder.withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)

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

Constructor	Description
ClassicLStarMoore(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)
ExtensibleLStarMoore(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)
ExtensibleLStarMoore(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)

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()
ClosingStrategy<? super I,? super Word<O>>	MalerPnueliMealyBuilder.getClosingStrategy()
ClosingStrategy<? super I,? super Word<O>>	MalerPnueliMooreBuilder.getClosingStrategy()

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)
void	MalerPnueliMealyBuilder.setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
void	MalerPnueliMooreBuilder.setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
MalerPnueliDFABuilder<I>	MalerPnueliDFABuilder.withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
MalerPnueliMealyBuilder<I,O>	MalerPnueliMealyBuilder.withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
MalerPnueliMooreBuilder<I,O>	MalerPnueliMooreBuilder.withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)

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

Constructor	Description
MalerPnueliDFA(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Boolean> closingStrategy)
MalerPnueliMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super Word<O>> closingStrategy)
MalerPnueliMoore(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, List<Word<I>> initialSuffixes, ClosingStrategy<? super I,? super 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()
ClosingStrategy<? super I,? super Word<O>>	RivestSchapireMealyBuilder.getClosingStrategy()
ClosingStrategy<? super I,? super Word<O>>	RivestSchapireMooreBuilder.getClosingStrategy()

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)
void	RivestSchapireMealyBuilder.setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
void	RivestSchapireMooreBuilder.setClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
RivestSchapireDFABuilder<I>	RivestSchapireDFABuilder.withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
RivestSchapireMealyBuilder<I,O>	RivestSchapireMealyBuilder.withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
RivestSchapireMooreBuilder<I,O>	RivestSchapireMooreBuilder.withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)

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

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