Module de.learnlib.algorithm.ttt

Package de.learnlib.algorithm.ttt.mealy

Class TTTLearnerMealyBuilder<I,O>

java.lang.Object

de.learnlib.algorithm.ttt.mealy.TTTLearnerMealyBuilder<I,O>

Type Parameters:

I - input symbol type

O - output symbols type

public final class TTTLearnerMealyBuilder<I,O>
extends Object

A builder for constructing TTTLearnerMealy instances.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
TTTLearnerMealy<I,O>	create()	Creates a new TTTLearnerMealy instance with the configured parameters.
net.automatalib.alphabet.Alphabet<I>	getAlphabet()	Returns the current value for the parameter alphabet.
AcexAnalyzer	getAnalyzer()	Returns the current value for the parameter analyzer.
MembershipOracle<I,net.automatalib.word.Word<O>>	getOracle()	Returns the current value for the parameter oracle.
void	setAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet.
void	setAnalyzer(AcexAnalyzer analyzer)	Sets the new value for the parameter analyzer.
void	setOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)	Sets the new value for the parameter oracle.
TTTLearnerMealyBuilder<I,O>	withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
TTTLearnerMealyBuilder<I,O>	withAnalyzer(AcexAnalyzer analyzer)	Sets the new value for the parameter analyzer and returns this builder instance.
TTTLearnerMealyBuilder<I,O>	withOracle(MembershipOracle<I,net.automatalib.word.Word<O>> oracle)	Sets the new value for the parameter oracle 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

TTTLearnerMealyBuilder

public TTTLearnerMealyBuilder()

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

getAnalyzer

public AcexAnalyzer getAnalyzer()

Returns the current value for the parameter analyzer.

Returns:

the current value for the parameter analyzer

setAnalyzer

public void setAnalyzer(AcexAnalyzer analyzer)

Sets the new value for the parameter analyzer.

Parameters:

analyzer - the new value for the parameter analyzer

withAnalyzer

public TTTLearnerMealyBuilder<I,O> withAnalyzer(AcexAnalyzer analyzer)

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

Parameters:

analyzer - the new value for the parameter analyzer

Returns:

the current builder instance

create

public TTTLearnerMealy<I,O> create()

Creates a new TTTLearnerMealy instance with the configured parameters.

Returns:

the created instance