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(net.automatalib.alphabet.Alphabet<I> alphabet)Sets the new value for the parameteralphabetand returnsthisbuilder instance.MealyDHCBuilder<I,O>MealyDHCBuilder. withInitialSplitters(Collection<? extends net.automatalib.word.Word<I>> initialSplitters)Sets the new value for the parameterinitialSplittersand returnsthisbuilder instance.MealyDHCBuilder<I,O>MealyDHCBuilder. withOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)Sets the new value for the parameteroracleand returnsthisbuilder instance.MealyDHCBuilder<I,O>MealyDHCBuilder. withSuffixFinder(GlobalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> suffixFinder)Sets the new value for the parametersuffixFinderand returnsthisbuilder instance.
-