Package de.learnlib.algorithm.rivestschapire

Class RivestSchapireDFABuilder<I>

java.lang.Object

de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder<I>

public final class RivestSchapireDFABuilder<I>
extends Object

Constructor Summary

Constructors

Constructor	Description
RivestSchapireDFABuilder()

Method Summary

Modifier and Type	Method	Description
RivestSchapireDFA<I>	create()
Alphabet<I>	getAlphabet()
ClosingStrategy<? super I,? super Boolean>	getClosingStrategy()
List<Word<I>>	getInitialSuffixes()
MembershipOracle<I,Boolean>	getOracle()
void	setAlphabet(Alphabet<I> alphabet)
void	setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
void	setInitialSuffixes(List<Word<I>> initialSuffixes)
void	setOracle(MembershipOracle<I,Boolean> oracle)
RivestSchapireDFABuilder<I>	withAlphabet(Alphabet<I> alphabet)
RivestSchapireDFABuilder<I>	withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)
RivestSchapireDFABuilder<I>	withInitialSuffixes(List<Word<I>> initialSuffixes)
RivestSchapireDFABuilder<I>	withOracle(MembershipOracle<I,Boolean> oracle)

Methods inherited from class java.lang.Object

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

Constructor Detail

RivestSchapireDFABuilder

public RivestSchapireDFABuilder()

Method Detail

create

public RivestSchapireDFA<I> create()

getAlphabet

public Alphabet<I> getAlphabet()

setAlphabet

public void setAlphabet(Alphabet<I> alphabet)

withAlphabet

public RivestSchapireDFABuilder<I> withAlphabet(Alphabet<I> alphabet)

getOracle

public MembershipOracle<I,Boolean> getOracle()

setOracle

public void setOracle(MembershipOracle<I,Boolean> oracle)

withOracle

public RivestSchapireDFABuilder<I> withOracle(MembershipOracle<I,Boolean> oracle)

getInitialSuffixes

public List<Word<I>> getInitialSuffixes()

setInitialSuffixes

public void setInitialSuffixes(List<Word<I>> initialSuffixes)

withInitialSuffixes

public RivestSchapireDFABuilder<I> withInitialSuffixes(List<Word<I>> initialSuffixes)

getClosingStrategy

public ClosingStrategy<? super I,? super Boolean> getClosingStrategy()

setClosingStrategy

public void setClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)

withClosingStrategy

public RivestSchapireDFABuilder<I> withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)