Uses of Interface
de.learnlib.algorithms.lstargeneric.closing.ClosingStrategy

Packages that use ClosingStrategy

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

Uses of ClosingStrategy in de.learnlib.algorithms.lstargeneric

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

Modifier and Type	Field and Description
protected ClosingStrategy<? super I,? super O>	ExtensibleAutomatonLStar.closingStrategy

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

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

Uses of ClosingStrategy in de.learnlib.algorithms.lstargeneric.closing

Classes in de.learnlib.algorithms.lstargeneric.closing that implement ClosingStrategy

Modifier and Type	Class and Description
class	CloseRandomStrategy

Fields in de.learnlib.algorithms.lstargeneric.closing declared as ClosingStrategy

Modifier and Type	Field and Description
static ClosingStrategy<Object,Object>	ClosingStrategies.CLOSE_FIRST Closing strategy that selects the first row from each equivalence class as representative.
static ClosingStrategy<Object,Object>	ClosingStrategies.CLOSE_LEX_MIN Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.
static ClosingStrategy<Object,Object>	ClosingStrategies.CLOSE_RANDOM Closing strategy that randomly selects one representative row to close from each equivalence class.
static ClosingStrategy<Object,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.

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

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

Constructor and 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.

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

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

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 ClosingStrategy

Constructor and Description
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>> initialSuffixes, ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler, ClosingStrategy<? super I,? super Word<O>> closingStrategy)