Package de.learnlib.algorithm.observationpack.dfa

Class OPLearnerDFABuilder<I>

java.lang.Object

de.learnlib.algorithm.observationpack.dfa.OPLearnerDFABuilder<I>

public final class OPLearnerDFABuilder<I>
extends Object

Constructor Summary

Constructors

Constructor	Description
OPLearnerDFABuilder()

Method Summary

Modifier and Type	Method	Description
OPLearnerDFA<I>	create()
Alphabet<I>	getAlphabet()
boolean	getEpsilonRoot()
MembershipOracle<I,Boolean>	getOracle()
boolean	getRepeatedCounterexampleEvaluation()
LocalSuffixFinder<? super I,? super Boolean>	getSuffixFinder()
void	setAlphabet(Alphabet<I> alphabet)
void	setEpsilonRoot(boolean epsilonRoot)
void	setOracle(MembershipOracle<I,Boolean> oracle)
void	setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
void	setSuffixFinder(LocalSuffixFinder<? super I,? super Boolean> suffixFinder)
OPLearnerDFABuilder<I>	withAlphabet(Alphabet<I> alphabet)
OPLearnerDFABuilder<I>	withEpsilonRoot(boolean epsilonRoot)
OPLearnerDFABuilder<I>	withOracle(MembershipOracle<I,Boolean> oracle)
OPLearnerDFABuilder<I>	withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
OPLearnerDFABuilder<I>	withSuffixFinder(LocalSuffixFinder<? super I,? super Boolean> suffixFinder)

Methods inherited from class java.lang.Object

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

Constructor Detail

OPLearnerDFABuilder

public OPLearnerDFABuilder()

Method Detail

create

public OPLearnerDFA<I> create()

getAlphabet

public Alphabet<I> getAlphabet()

setAlphabet

public void setAlphabet(Alphabet<I> alphabet)

withAlphabet

public OPLearnerDFABuilder<I> withAlphabet(Alphabet<I> alphabet)

getOracle

public MembershipOracle<I,Boolean> getOracle()

setOracle

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

withOracle

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

getSuffixFinder

public LocalSuffixFinder<? super I,? super Boolean> getSuffixFinder()

setSuffixFinder

public void setSuffixFinder(LocalSuffixFinder<? super I,? super Boolean> suffixFinder)

withSuffixFinder

public OPLearnerDFABuilder<I> withSuffixFinder(LocalSuffixFinder<? super I,? super Boolean> suffixFinder)

getRepeatedCounterexampleEvaluation

public boolean getRepeatedCounterexampleEvaluation()

setRepeatedCounterexampleEvaluation

public void setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)

withRepeatedCounterexampleEvaluation

public OPLearnerDFABuilder<I> withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)

getEpsilonRoot

public boolean getEpsilonRoot()

setEpsilonRoot

public void setEpsilonRoot(boolean epsilonRoot)

withEpsilonRoot

public OPLearnerDFABuilder<I> withEpsilonRoot(boolean epsilonRoot)