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

package net.automatalib.modelcheckers.ltsmin.monitor;

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

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

	private boolean keepFiles;
	private java.util.function.Function string2Input;
	private java.util.function.Function string2Output;
	private java.util.Collection skipOutputs;

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



	}

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

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

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

}