de.learnlib.algorithms.nlstar.NLStarLearnerBuilder Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of learnlib-nlstar Show documentation
Show all versions of learnlib-nlstar Show documentation
This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style
Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl,
Carsten Kern, and Martin Leucker.
/*
* Automatically generated by BuilderGen, https://github.com/misberner/buildergen.
* DO NOT EDIT THIS FILE! Your changes will be overwritten.
* Edit the @GenerateBuilder specification of class
* de.learnlib.algorithms.nlstar.NLStarLearner
*/
package de.learnlib.algorithms.nlstar;
public final class NLStarLearnerBuilder<
I extends java.lang.Object> {
private static<
I extends java.lang.Object> de.learnlib.algorithms.nlstar.NLStarLearner $createDispatch(
net.automatalib.words.Alphabet alphabet,
de.learnlib.api.oracle.MembershipOracle oracle
) {
return new de.learnlib.algorithms.nlstar.NLStarLearner(
alphabet,
oracle
);
}
private net.automatalib.words.Alphabet alphabet;
private de.learnlib.api.oracle.MembershipOracle oracle;
public NLStarLearnerBuilder() {
}
public de.learnlib.algorithms.nlstar.NLStarLearner create() {
return $createDispatch(
this.alphabet,
this.oracle
);
}
public net.automatalib.words.Alphabet getAlphabet() {
return this.alphabet;
}
public void setAlphabet(net.automatalib.words.Alphabet alphabet) {
this.alphabet = alphabet;
}
public NLStarLearnerBuilder withAlphabet(net.automatalib.words.Alphabet alphabet) {
this.alphabet = alphabet;
return this;
}
public de.learnlib.api.oracle.MembershipOracle getOracle() {
return this.oracle;
}
public void setOracle(de.learnlib.api.oracle.MembershipOracle oracle) {
this.oracle = oracle;
}
public NLStarLearnerBuilder withOracle(de.learnlib.api.oracle.MembershipOracle oracle) {
this.oracle = oracle;
return this;
}
}