net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFABuilder Maven / Gradle / Ivy

Go to download
/*
 * 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
 * net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFA
 */

package net.automatalib.modelcheckers.ltsmin.ltl;

public final class LTSminLTLDFABuilder<
		I extends java.lang.Object> {

	private static<
			I extends java.lang.Object> net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFA $createDispatch(
		boolean keepFiles,
		java.util.function.Function string2Input,
		int minimumUnfolds,
		double multiplier
		) {
		return new net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFA(
			keepFiles,
			string2Input,
			minimumUnfolds,
			multiplier
			);
	}

	private boolean keepFiles;
	private java.util.function.Function string2Input;
	private int minimumUnfolds;
	private double multiplier;

	public LTSminLTLDFABuilder() {
		this.keepFiles = net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL.BuilderDefaults.keepFiles();

		this.minimumUnfolds = net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL.BuilderDefaults.minimumUnfolds();
		this.multiplier = net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL.BuilderDefaults.multiplier();
	}

	public net.automatalib.modelcheckers.ltsmin.ltl.LTSminLTLDFA create() {
		return $createDispatch(
			this.keepFiles,
			this.string2Input,
			this.minimumUnfolds,
			this.multiplier
			);
	}

	public boolean getKeepFiles() {
		return this.keepFiles;
	}
	public void setKeepFiles(boolean keepFiles) {
		this.keepFiles = keepFiles;
	}
	public LTSminLTLDFABuilder withKeepFiles(boolean keepFiles) {
		this.keepFiles = keepFiles;
		return this;
	} 

	public java.util.function.Function getString2Input() {
		return this.string2Input;
	}
	public void setString2Input(java.util.function.Function string2Input) {
		this.string2Input = string2Input;
	}
	public LTSminLTLDFABuilder withString2Input(java.util.function.Function string2Input) {
		this.string2Input = string2Input;
		return this;
	} 

	public int getMinimumUnfolds() {
		return this.minimumUnfolds;
	}
	public void setMinimumUnfolds(int minimumUnfolds) {
		this.minimumUnfolds = minimumUnfolds;
	}
	public LTSminLTLDFABuilder withMinimumUnfolds(int minimumUnfolds) {
		this.minimumUnfolds = minimumUnfolds;
		return this;
	} 

	public double getMultiplier() {
		return this.multiplier;
	}
	public void setMultiplier(double multiplier) {
		this.multiplier = multiplier;
	}
	public LTSminLTLDFABuilder withMultiplier(double multiplier) {
		this.multiplier = multiplier;
		return this;
	} 

}