Package de.learnlib.algorithm.ttt.vpa

Class TTTLearnerVPABuilder<I>

java.lang.Object

de.learnlib.algorithm.ttt.vpa.TTTLearnerVPABuilder<I>

Type Parameters:

I - input symbol type

public final class TTTLearnerVPABuilder<I>
extends Object

A builder for constructing TTTLearnerVPA instances.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
TTTLearnerVPA<I>	create()	Creates a new TTTLearnerVPA instance with the configured parameters.
net.automatalib.alphabet.VPAlphabet<I>	getAlphabet()	Returns the current value for the parameter alphabet.
AcexAnalyzer	getAnalyzer()	Returns the current value for the parameter analyzer.
MembershipOracle.DFAMembershipOracle<I>	getOracle()	Returns the current value for the parameter oracle.
void	setAlphabet(net.automatalib.alphabet.VPAlphabet<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.DFAMembershipOracle<I> oracle)	Sets the new value for the parameter oracle.
TTTLearnerVPABuilder<I>	withAlphabet(net.automatalib.alphabet.VPAlphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
TTTLearnerVPABuilder<I>	withAnalyzer(AcexAnalyzer analyzer)	Sets the new value for the parameter analyzer and returns this builder instance.
TTTLearnerVPABuilder<I>	withOracle(MembershipOracle.DFAMembershipOracle<I> 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

TTTLearnerVPABuilder

public TTTLearnerVPABuilder()

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

Method Detail

getAlphabet

public net.automatalib.alphabet.VPAlphabet<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.VPAlphabet<I> alphabet)

Sets the new value for the parameter alphabet.

Parameters:

alphabet - the new value for the parameter alphabet

withAlphabet

public TTTLearnerVPABuilder<I> withAlphabet(net.automatalib.alphabet.VPAlphabet<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.DFAMembershipOracle<I> getOracle()

Returns the current value for the parameter oracle.

Returns:

the current value for the parameter oracle

setOracle

public void setOracle(MembershipOracle.DFAMembershipOracle<I> oracle)

Sets the new value for the parameter oracle.

Parameters:

oracle - the new value for the parameter oracle

withOracle

public TTTLearnerVPABuilder<I> withOracle(MembershipOracle.DFAMembershipOracle<I> 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 TTTLearnerVPABuilder<I> 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 TTTLearnerVPA<I> create()

Creates a new TTTLearnerVPA instance with the configured parameters.

Returns:

the created instance