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

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MealyDHCBuilder

public MealyDHCBuilder()

Method Detail

create

public MealyDHC<I,O> create()

getAlphabet

public Alphabet<I> getAlphabet()

setAlphabet

public void setAlphabet(Alphabet<I> alphabet)

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)