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