Module de.learnlib.algorithm.lstar

Package de.learnlib.algorithm.lstar.dfa

Class ClassicLStarDFABuilder<I>

java.lang.Object

de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder<I>

Type Parameters:

I - input symbol type.

public final class ClassicLStarDFABuilder<I>
extends Object

A builder for constructing ClassicLStarDFA instances.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
ClassicLStarDFA<I>	create()	Creates a new ClassicLStarDFA 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.
ClassicLStarDFABuilder<I>	withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
ClassicLStarDFABuilder<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

ClassicLStarDFABuilder

public ClassicLStarDFABuilder()

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 ClassicLStarDFABuilder<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 ClassicLStarDFABuilder<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 ClassicLStarDFA<I> create()

Creates a new ClassicLStarDFA instance with the configured parameters.

Returns:

the created instance