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 parameteralphabet
and returnsthis
builder instance.MealyDHCBuilder<I,O>
MealyDHCBuilder. withInitialSplitters(Collection<? extends net.automatalib.word.Word<I>> initialSplitters)
Sets the new value for the parameterinitialSplitters
and returnsthis
builder instance.MealyDHCBuilder<I,O>
MealyDHCBuilder. withOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)
Sets the new value for the parameteroracle
and returnsthis
builder instance.MealyDHCBuilder<I,O>
MealyDHCBuilder. withSuffixFinder(GlobalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> suffixFinder)
Sets the new value for the parametersuffixFinder
and returnsthis
builder instance.
-