Package de.learnlib.algorithm.dhc.mealy
Class MealyDHCBuilder<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.dhc.mealy.MealyDHCBuilder<I,O>
-
public class MealyDHCBuilder<I,O> extends Object
-
-
Constructor Summary
Constructors Constructor Description MealyDHCBuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MealyDHC<I,O>
create()
Alphabet<I>
getAlphabet()
Collection<? extends Word<I>>
getInitialSplitters()
MembershipOracle<I,Word<O>>
getOracle()
GlobalSuffixFinder<? super I,? super Word<O>>
getSuffixFinder()
void
setAlphabet(Alphabet<I> alphabet)
void
setInitialSplitters(Collection<? extends Word<I>> initialSplitters)
void
setOracle(MembershipOracle<I,Word<O>> oracle)
void
setSuffixFinder(GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder)
MealyDHCBuilder<I,O>
withAlphabet(Alphabet<I> alphabet)
MealyDHCBuilder<I,O>
withInitialSplitters(Collection<? extends Word<I>> initialSplitters)
MealyDHCBuilder<I,O>
withOracle(MembershipOracle<I,Word<O>> oracle)
MealyDHCBuilder<I,O>
withSuffixFinder(GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-
-
-
Method Detail
-
withAlphabet
public MealyDHCBuilder<I,O> withAlphabet(Alphabet<I> alphabet)
-
getOracle
public MembershipOracle<I,Word<O>> getOracle()
-
setOracle
public void setOracle(MembershipOracle<I,Word<O>> oracle)
-
withOracle
public MealyDHCBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)
-
getSuffixFinder
public GlobalSuffixFinder<? super I,? super Word<O>> getSuffixFinder()
-
setSuffixFinder
public void setSuffixFinder(GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-
withSuffixFinder
public MealyDHCBuilder<I,O> withSuffixFinder(GlobalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-
getInitialSplitters
public Collection<? extends Word<I>> getInitialSplitters()
-
setInitialSplitters
public void setInitialSplitters(Collection<? extends Word<I>> initialSplitters)
-
withInitialSplitters
public MealyDHCBuilder<I,O> withInitialSplitters(Collection<? extends Word<I>> initialSplitters)
-
-