Uses of Class
de.learnlib.algorithm.dhc.mealy.MealyDHCBuilder
-
Packages that use MealyDHCBuilder Package Description de.learnlib.algorithm.dhc.mealy -
-
Uses of MealyDHCBuilder in de.learnlib.algorithm.dhc.mealy
Methods in de.learnlib.algorithm.dhc.mealy that return MealyDHCBuilder Modifier and Type Method Description MealyDHCBuilder<I,O>
MealyDHCBuilder. withAlphabet(Alphabet<I> alphabet)
MealyDHCBuilder<I,O>
MealyDHCBuilder. withInitialSplitters(Collection<? extends Word<I>> initialSplitters)
MealyDHCBuilder<I,O>
MealyDHCBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
MealyDHCBuilder<I,O>
MealyDHCBuilder. withSuffixFinder(GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-