Module de.learnlib.algorithm.observationpack

Package de.learnlib.algorithm.observationpack.mealy

Class OPLearnerMealyBuilder<I,O>

java.lang.Object

de.learnlib.algorithm.observationpack.mealy.OPLearnerMealyBuilder<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

public final class OPLearnerMealyBuilder<I,O>
extends Object

A builder for constructing OPLearnerMealy instances.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
OPLearnerMealy<I,O>	create()	Creates a new OPLearnerMealy instance with the configured parameters.
net.automatalib.alphabet.Alphabet<I>	getAlphabet()	Returns the current value for the parameter alphabet.
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.
LocalSuffixFinder<? super I,? super net.automatalib.word.Word<O>>	getSuffixFinder()	Returns the current value for the parameter suffixFinder.
void	setAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet.
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.
void	setSuffixFinder(LocalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> suffixFinder)	Sets the new value for the parameter suffixFinder.
OPLearnerMealyBuilder<I,O>	withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
OPLearnerMealyBuilder<I,O>	withOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)	Sets the new value for the parameter oracle and returns this builder instance.
OPLearnerMealyBuilder<I,O>	withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)	Sets the new value for the parameter repeatedCounterexampleEvaluation and returns this builder instance.
OPLearnerMealyBuilder<I,O>	withSuffixFinder(LocalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> suffixFinder)	Sets the new value for the parameter suffixFinder 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

OPLearnerMealyBuilder

public OPLearnerMealyBuilder()

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 OPLearnerMealyBuilder<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 OPLearnerMealyBuilder<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

getSuffixFinder

public LocalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> getSuffixFinder()

Returns the current value for the parameter suffixFinder.

Returns:

the current value for the parameter suffixFinder

setSuffixFinder

public void setSuffixFinder(LocalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> suffixFinder)

Sets the new value for the parameter suffixFinder.

Parameters:

suffixFinder - the new value for the parameter suffixFinder

withSuffixFinder

public OPLearnerMealyBuilder<I,O> withSuffixFinder(LocalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> suffixFinder)

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

Parameters:

suffixFinder - the new value for the parameter suffixFinder

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 OPLearnerMealyBuilder<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

create

public OPLearnerMealy<I,O> create()

Creates a new OPLearnerMealy instance with the configured parameters.

Returns:

the created instance