Module de.learnlib.algorithm.ttt

Package de.learnlib.algorithm.ttt.moore

Class TTTLearnerMooreBuilder<I,O>

java.lang.Object

de.learnlib.algorithm.ttt.moore.TTTLearnerMooreBuilder<I,O>

Type Parameters:

I - input symbol type

O - output symbols type

public final class TTTLearnerMooreBuilder<I,O>
extends Object

A builder for constructing TTTLearnerMoore instances.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
TTTLearnerMoore<I,O>	create()	Creates a new TTTLearnerMoore 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.
TTTLearnerMooreBuilder<I,O>	withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
TTTLearnerMooreBuilder<I,O>	withAnalyzer(AcexAnalyzer analyzer)	Sets the new value for the parameter analyzer and returns this builder instance.
TTTLearnerMooreBuilder<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

TTTLearnerMooreBuilder

public TTTLearnerMooreBuilder()

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 TTTLearnerMooreBuilder<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 TTTLearnerMooreBuilder<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 TTTLearnerMooreBuilder<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 TTTLearnerMoore<I,O> create()

Creates a new TTTLearnerMoore instance with the configured parameters.

Returns:

the created instance