net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFABuilder 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.monitor.LTSminMonitorDFA
 */

package net.automatalib.modelcheckers.ltsmin.monitor;

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

	private static<
			I extends java.lang.Object> net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFA $createDispatch(
		boolean keepFiles,
		java.util.function.Function string2Input
		) {
		return new net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFA(
			keepFiles,
			string2Input
			);
	}

	private boolean keepFiles;
	private java.util.function.Function string2Input;

	public LTSminMonitorDFABuilder() {
		this.keepFiles = net.automatalib.modelcheckers.ltsmin.AbstractLTSmin.BuilderDefaults.keepFiles();

	}

	public net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFA create() {
		return $createDispatch(
			this.keepFiles,
			this.string2Input
			);
	}

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

}