Module de.learnlib.algorithm.nlstar

Package de.learnlib.algorithm.nlstar

Class NLStarLearnerBuilder<I>

java.lang.Object

de.learnlib.algorithm.nlstar.NLStarLearnerBuilder<I>

Type Parameters:

I - input symbol type

public final class NLStarLearnerBuilder<I>
extends Object

A builder for constructing NLStarLearner instances.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
NLStarLearner<I>	create()	Creates a new NLStarLearner instance with the configured parameters.
net.automatalib.alphabet.Alphabet<I>	getAlphabet()	Returns the current value for the parameter alphabet.
MembershipOracle<I,Boolean>	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	setOracle(MembershipOracle<I,Boolean> oracle)	Sets the new value for the parameter oracle.
NLStarLearnerBuilder<I>	withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
NLStarLearnerBuilder<I>	withOracle(MembershipOracle<I,Boolean> 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

NLStarLearnerBuilder

public NLStarLearnerBuilder()

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 NLStarLearnerBuilder<I> 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,Boolean> getOracle()

Returns the current value for the parameter oracle.

Returns:

the current value for the parameter oracle

setOracle

public void setOracle(MembershipOracle<I,Boolean> oracle)

Sets the new value for the parameter oracle.

Parameters:

oracle - the new value for the parameter oracle

withOracle

public NLStarLearnerBuilder<I> withOracle(MembershipOracle<I,Boolean> 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

create

public NLStarLearner<I> create()

Creates a new NLStarLearner instance with the configured parameters.

Returns:

the created instance