Package de.learnlib.algorithm.adt.learner

Class ADTLearnerBuilder<I,O>

java.lang.Object

de.learnlib.algorithm.adt.learner.ADTLearnerBuilder<I,O>

public final class ADTLearnerBuilder<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
ADTLearnerBuilder()

Method Summary

Modifier and Type	Method	Description
ADTLearner<I,O>	create()
ADTExtender	getAdtExtender()
Alphabet<I>	getAlphabet()
LeafSplitter	getLeafSplitter()
SymbolQueryOracle<I,O>	getOracle()
SubtreeReplacer	getSubtreeReplacer()
boolean	getUseObservationTree()
void	setAdtExtender(ADTExtender adtExtender)
void	setAlphabet(Alphabet<I> alphabet)
void	setLeafSplitter(LeafSplitter leafSplitter)
void	setOracle(SymbolQueryOracle<I,O> oracle)
void	setSubtreeReplacer(SubtreeReplacer subtreeReplacer)
void	setUseObservationTree(boolean useObservationTree)
ADTLearnerBuilder<I,O>	withAdtExtender(ADTExtender adtExtender)
ADTLearnerBuilder<I,O>	withAlphabet(Alphabet<I> alphabet)
ADTLearnerBuilder<I,O>	withLeafSplitter(LeafSplitter leafSplitter)
ADTLearnerBuilder<I,O>	withOracle(SymbolQueryOracle<I,O> oracle)
ADTLearnerBuilder<I,O>	withSubtreeReplacer(SubtreeReplacer subtreeReplacer)
ADTLearnerBuilder<I,O>	withUseObservationTree(boolean useObservationTree)

Methods inherited from class java.lang.Object

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

Constructor Detail

ADTLearnerBuilder

public ADTLearnerBuilder()

Method Detail

create

public ADTLearner<I,O> create()

getAlphabet

public Alphabet<I> getAlphabet()

setAlphabet

public void setAlphabet(Alphabet<I> alphabet)

withAlphabet

public ADTLearnerBuilder<I,O> withAlphabet(Alphabet<I> alphabet)

getOracle

public SymbolQueryOracle<I,O> getOracle()

setOracle

public void setOracle(SymbolQueryOracle<I,O> oracle)

withOracle

public ADTLearnerBuilder<I,O> withOracle(SymbolQueryOracle<I,O> oracle)

getLeafSplitter

public LeafSplitter getLeafSplitter()

setLeafSplitter

public void setLeafSplitter(LeafSplitter leafSplitter)

withLeafSplitter

public ADTLearnerBuilder<I,O> withLeafSplitter(LeafSplitter leafSplitter)

getAdtExtender

public ADTExtender getAdtExtender()

setAdtExtender

public void setAdtExtender(ADTExtender adtExtender)

withAdtExtender

public ADTLearnerBuilder<I,O> withAdtExtender(ADTExtender adtExtender)

getSubtreeReplacer

public SubtreeReplacer getSubtreeReplacer()

setSubtreeReplacer

public void setSubtreeReplacer(SubtreeReplacer subtreeReplacer)

withSubtreeReplacer

public ADTLearnerBuilder<I,O> withSubtreeReplacer(SubtreeReplacer subtreeReplacer)

getUseObservationTree

public boolean getUseObservationTree()

setUseObservationTree

public void setUseObservationTree(boolean useObservationTree)

withUseObservationTree

public ADTLearnerBuilder<I,O> withUseObservationTree(boolean useObservationTree)