Uses of Class
de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

Packages that use ClassicLStarDFABuilder

Package	Description
de.learnlib.algorithm.lstar.dfa

Uses of ClassicLStarDFABuilder in de.learnlib.algorithm.lstar.dfa

Methods in de.learnlib.algorithm.lstar.dfa that return ClassicLStarDFABuilder

Modifier and Type	Method	Description
ClassicLStarDFABuilder<I>	ClassicLStarDFABuilder.withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
ClassicLStarDFABuilder<I>	ClassicLStarDFABuilder.withOracle(MembershipOracle<I,Boolean> oracle)	Sets the new value for the parameter oracle and returns this builder instance.