Package de.learnlib.algorithm.kv.mealy

Class KearnsVaziraniMealyBuilder<I,O>

java.lang.Object

de.learnlib.algorithm.kv.mealy.KearnsVaziraniMealyBuilder<I,O>

public final class KearnsVaziraniMealyBuilder<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
KearnsVaziraniMealyBuilder()

Method Summary

Modifier and Type	Method	Description
KearnsVaziraniMealy<I,O>	create()
Alphabet<I>	getAlphabet()
AcexAnalyzer	getCounterexampleAnalyzer()
MembershipOracle<I,Word<O>>	getOracle()
boolean	getRepeatedCounterexampleEvaluation()
void	setAlphabet(Alphabet<I> alphabet)
void	setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
void	setOracle(MembershipOracle<I,Word<O>> oracle)
void	setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
KearnsVaziraniMealyBuilder<I,O>	withAlphabet(Alphabet<I> alphabet)
KearnsVaziraniMealyBuilder<I,O>	withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)
KearnsVaziraniMealyBuilder<I,O>	withOracle(MembershipOracle<I,Word<O>> oracle)
KearnsVaziraniMealyBuilder<I,O>	withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)

Methods inherited from class java.lang.Object

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

Constructor Detail

KearnsVaziraniMealyBuilder

public KearnsVaziraniMealyBuilder()

Method Detail

create

public KearnsVaziraniMealy<I,O> create()

getAlphabet

public Alphabet<I> getAlphabet()

setAlphabet

public void setAlphabet(Alphabet<I> alphabet)

withAlphabet

public KearnsVaziraniMealyBuilder<I,O> withAlphabet(Alphabet<I> alphabet)

getOracle

public MembershipOracle<I,Word<O>> getOracle()

setOracle

public void setOracle(MembershipOracle<I,Word<O>> oracle)

withOracle

public KearnsVaziraniMealyBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)

getRepeatedCounterexampleEvaluation

public boolean getRepeatedCounterexampleEvaluation()

setRepeatedCounterexampleEvaluation

public void setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)

withRepeatedCounterexampleEvaluation

public KearnsVaziraniMealyBuilder<I,O> withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)

getCounterexampleAnalyzer

public AcexAnalyzer getCounterexampleAnalyzer()

setCounterexampleAnalyzer

public void setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)

withCounterexampleAnalyzer

public KearnsVaziraniMealyBuilder<I,O> withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)