de.learnlib.algorithms.ttt.vpda

Class TTTLearnerVPDABuilder<I>

java.lang.Object

de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDABuilder<I>

public final class TTTLearnerVPDABuilder<I>
extends Object

Constructor Summary

Constructors

Constructor and Description
TTTLearnerVPDABuilder()

Method Summary

Modifier and Type	Method and Description
TTTLearnerVPDA<I>	create()
VPDAlphabet<I>	getAlphabet()
AcexAnalyzer	getAnalyzer()
MembershipOracle<I,Boolean>	getOracle()
void	setAlphabet(VPDAlphabet<I> alphabet)
void	setAnalyzer(AcexAnalyzer analyzer)
void	setOracle(MembershipOracle<I,Boolean> oracle)
TTTLearnerVPDABuilder<I>	withAlphabet(VPDAlphabet<I> alphabet)
TTTLearnerVPDABuilder<I>	withAnalyzer(AcexAnalyzer analyzer)
TTTLearnerVPDABuilder<I>	withOracle(MembershipOracle<I,Boolean> oracle)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TTTLearnerVPDABuilder

public TTTLearnerVPDABuilder()

Method Detail

create

public TTTLearnerVPDA<I> create()

getAlphabet

public VPDAlphabet<I> getAlphabet()

setAlphabet

public void setAlphabet(VPDAlphabet<I> alphabet)

withAlphabet

public TTTLearnerVPDABuilder<I> withAlphabet(VPDAlphabet<I> alphabet)

getOracle

public MembershipOracle<I,Boolean> getOracle()

setOracle

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

withOracle

public TTTLearnerVPDABuilder<I> withOracle(MembershipOracle<I,Boolean> oracle)

getAnalyzer

public AcexAnalyzer getAnalyzer()

setAnalyzer

public void setAnalyzer(AcexAnalyzer analyzer)

withAnalyzer

public TTTLearnerVPDABuilder<I> withAnalyzer(AcexAnalyzer analyzer)