Uses of Class
de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy

Packages that use ClassicLStarMealy

Package	Description
de.learnlib.algorithms.lstargeneric.mealy

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

Methods in de.learnlib.algorithms.lstargeneric.mealy that return ClassicLStarMealy

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)