Module de.learnlib.algorithm.kv

Package de.learnlib.algorithm.kv.mealy

Class KearnsVaziraniMealyBuilder<I,O>

java.lang.Object

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

Type Parameters:

I - input symbol type

O - output symbol type

public final class KearnsVaziraniMealyBuilder<I,O>
extends Object

A builder for constructing KearnsVaziraniMealy instances.

Constructor Summary

Constructors

Constructor	Description
KearnsVaziraniMealyBuilder()	Creates a new builder (and may set default values for some parameters).

Method Summary

Modifier and Type	Method	Description
KearnsVaziraniMealy<I,O>	create()	Creates a new KearnsVaziraniMealy instance with the configured parameters.
net.automatalib.alphabet.Alphabet<I>	getAlphabet()	Returns the current value for the parameter alphabet.
AcexAnalyzer	getCounterexampleAnalyzer()	Returns the current value for the parameter counterexampleAnalyzer.
MembershipOracle<I,net.automatalib.word.Word<O>>	getOracle()	Returns the current value for the parameter oracle.
boolean	getRepeatedCounterexampleEvaluation()	Returns the current value for the parameter repeatedCounterexampleEvaluation.
void	setAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet.
void	setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)	Sets the new value for the parameter counterexampleAnalyzer.
void	setOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)	Sets the new value for the parameter oracle.
void	setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)	Sets the new value for the parameter repeatedCounterexampleEvaluation.
KearnsVaziraniMealyBuilder<I,O>	withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
KearnsVaziraniMealyBuilder<I,O>	withCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)	Sets the new value for the parameter counterexampleAnalyzer and returns this builder instance.
KearnsVaziraniMealyBuilder<I,O>	withOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)	Sets the new value for the parameter oracle and returns this builder instance.
KearnsVaziraniMealyBuilder<I,O>	withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)	Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.

Methods inherited from class java.lang.Object

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

Constructor Detail

KearnsVaziraniMealyBuilder

public KearnsVaziraniMealyBuilder()

Creates a new builder (and may set default values for some parameters).

Method Detail

getAlphabet

public net.automatalib.alphabet.Alphabet<I> getAlphabet()

Returns the current value for the parameter alphabet.

Returns:

the current value for the parameter alphabet

setAlphabet

public void setAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)

Sets the new value for the parameter alphabet.

Parameters:

alphabet - the new value for the parameter alphabet

withAlphabet

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

Sets the new value for the parameter alphabet and returns this builder instance.

Parameters:

alphabet - the new value for the parameter alphabet

Returns:

the current builder instance

getOracle

public MembershipOracle<I,net.automatalib.word.Word<O>> getOracle()

Returns the current value for the parameter oracle.

Returns:

the current value for the parameter oracle

setOracle

public void setOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)

Sets the new value for the parameter oracle.

Parameters:

oracle - the new value for the parameter oracle

withOracle

public KearnsVaziraniMealyBuilder<I,O> withOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)

Sets the new value for the parameter oracle and returns this builder instance.

Parameters:

oracle - the new value for the parameter oracle

Returns:

the current builder instance

getRepeatedCounterexampleEvaluation

public boolean getRepeatedCounterexampleEvaluation()

Returns the current value for the parameter repeatedCounterexampleEvaluation.

Returns:

the current value for the parameter repeatedCounterexampleEvaluation

setRepeatedCounterexampleEvaluation

public void setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)

Sets the new value for the parameter repeatedCounterexampleEvaluation.

Parameters:

repeatedCounterexampleEvaluation - the new value for the parameter repeatedCounterexampleEvaluation

withRepeatedCounterexampleEvaluation

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

Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.

Parameters:

repeatedCounterexampleEvaluation - the new value for the parameter repeatedCounterexampleEvaluation

Returns:

the current builder instance

getCounterexampleAnalyzer

public AcexAnalyzer getCounterexampleAnalyzer()

Returns the current value for the parameter counterexampleAnalyzer.

Returns:

the current value for the parameter counterexampleAnalyzer

setCounterexampleAnalyzer

public void setCounterexampleAnalyzer(AcexAnalyzer counterexampleAnalyzer)

Sets the new value for the parameter counterexampleAnalyzer.

Parameters:

counterexampleAnalyzer - the new value for the parameter counterexampleAnalyzer

withCounterexampleAnalyzer

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

Sets the new value for the parameter counterexampleAnalyzer and returns this builder instance.

Parameters:

counterexampleAnalyzer - the new value for the parameter counterexampleAnalyzer

Returns:

the current builder instance

create

public KearnsVaziraniMealy<I,O> create()

Creates a new KearnsVaziraniMealy instance with the configured parameters.

Returns:

the created instance