net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder Maven / Gradle / Ivy

/*
 * 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.modelchecker.ltsmin.ltl.LTSminLTLIO
 */

package net.automatalib.modelchecker.ltsmin.ltl;

public final class LTSminLTLIOBuilder<
		I extends java.lang.Object,
		O extends java.lang.Object> {

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

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

	public LTSminLTLIOBuilder() {
		this.keepFiles = net.automatalib.modelchecker.ltsmin.ltl.AbstractLTSminLTL.BuilderDefaults.keepFiles();


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

	public net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIO create() {
		return $createDispatch(
			this.keepFiles,
			this.string2Input,
			this.string2Output,
			this.minimumUnfolds,
			this.multiplier,
			this.skipOutputs
			);
	}

	public boolean getKeepFiles() {
		return this.keepFiles;
	}
	public void setKeepFiles(boolean keepFiles) {
		this.keepFiles = keepFiles;
	}
	public LTSminLTLIOBuilder 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 LTSminLTLIOBuilder withString2Input(java.util.function.Function string2Input) {
		this.string2Input = string2Input;
		return this;
	} 

	public java.util.function.Function getString2Output() {
		return this.string2Output;
	}
	public void setString2Output(java.util.function.Function string2Output) {
		this.string2Output = string2Output;
	}
	public LTSminLTLIOBuilder withString2Output(java.util.function.Function string2Output) {
		this.string2Output = string2Output;
		return this;
	} 

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

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

	public java.util.Collection getSkipOutputs() {
		return this.skipOutputs;
	}
	public void setSkipOutputs(java.util.Collection skipOutputs) {
		this.skipOutputs = skipOutputs;
	}
	public LTSminLTLIOBuilder withSkipOutputs(java.util.Collection skipOutputs) {
		this.skipOutputs = skipOutputs;
		return this;
	} 

}