Class LTSminMonitorIOBuilder<I,O>
- java.lang.Object
-
- net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder<I,O>
-
public final class LTSminMonitorIOBuilder<I,O> extends Object
-
-
Constructor Summary
Constructors Constructor Description LTSminMonitorIOBuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description LTSminMonitorIO<I,O>
create()
boolean
getKeepFiles()
Collection<? super O>
getSkipOutputs()
Function<String,I>
getString2Input()
Function<String,O>
getString2Output()
void
setKeepFiles(boolean keepFiles)
void
setSkipOutputs(Collection<? super O> skipOutputs)
void
setString2Input(Function<String,I> string2Input)
void
setString2Output(Function<String,O> string2Output)
LTSminMonitorIOBuilder<I,O>
withKeepFiles(boolean keepFiles)
LTSminMonitorIOBuilder<I,O>
withSkipOutputs(Collection<? super O> skipOutputs)
LTSminMonitorIOBuilder<I,O>
withString2Input(Function<String,I> string2Input)
LTSminMonitorIOBuilder<I,O>
withString2Output(Function<String,O> string2Output)
-
-
-
Method Detail
-
create
public LTSminMonitorIO<I,O> create()
-
getKeepFiles
public boolean getKeepFiles()
-
setKeepFiles
public void setKeepFiles(boolean keepFiles)
-
withKeepFiles
public LTSminMonitorIOBuilder<I,O> withKeepFiles(boolean keepFiles)
-
withString2Input
public LTSminMonitorIOBuilder<I,O> withString2Input(Function<String,I> string2Input)
-
withString2Output
public LTSminMonitorIOBuilder<I,O> withString2Output(Function<String,O> string2Output)
-
getSkipOutputs
public Collection<? super O> getSkipOutputs()
-
setSkipOutputs
public void setSkipOutputs(Collection<? super O> skipOutputs)
-
withSkipOutputs
public LTSminMonitorIOBuilder<I,O> withSkipOutputs(Collection<? super O> skipOutputs)
-
-