Class OPLearnerMooreBuilder<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.observationpack.moore.OPLearnerMooreBuilder<I,O>
-
public final class OPLearnerMooreBuilder<I,O> extends Object
-
-
Constructor Summary
Constructors Constructor Description OPLearnerMooreBuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description OPLearnerMoore<I,O>create()Alphabet<I>getAlphabet()MembershipOracle<I,Word<O>>getOracle()booleangetRepeatedCounterexampleEvaluation()LocalSuffixFinder<? super I,? super Word<O>>getSuffixFinder()voidsetAlphabet(Alphabet<I> alphabet)voidsetOracle(MembershipOracle<I,Word<O>> oracle)voidsetRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)voidsetSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)OPLearnerMooreBuilder<I,O>withAlphabet(Alphabet<I> alphabet)OPLearnerMooreBuilder<I,O>withOracle(MembershipOracle<I,Word<O>> oracle)OPLearnerMooreBuilder<I,O>withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)OPLearnerMooreBuilder<I,O>withSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-
-
-
Method Detail
-
create
public OPLearnerMoore<I,O> create()
-
withAlphabet
public OPLearnerMooreBuilder<I,O> withAlphabet(Alphabet<I> alphabet)
-
getOracle
public MembershipOracle<I,Word<O>> getOracle()
-
setOracle
public void setOracle(MembershipOracle<I,Word<O>> oracle)
-
withOracle
public OPLearnerMooreBuilder<I,O> withOracle(MembershipOracle<I,Word<O>> oracle)
-
getSuffixFinder
public LocalSuffixFinder<? super I,? super Word<O>> getSuffixFinder()
-
setSuffixFinder
public void setSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-
withSuffixFinder
public OPLearnerMooreBuilder<I,O> withSuffixFinder(LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)
-
getRepeatedCounterexampleEvaluation
public boolean getRepeatedCounterexampleEvaluation()
-
setRepeatedCounterexampleEvaluation
public void setRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
-
withRepeatedCounterexampleEvaluation
public OPLearnerMooreBuilder<I,O> withRepeatedCounterexampleEvaluation(boolean repeatedCounterexampleEvaluation)
-
-