static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O> |
ClassicLStarMealy.createForSymbolOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
ObservationTableCEXHandler<I,O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O> |
ClassicLStarMealy.createForWordOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |