Class LTSminMonitorDFABuilder<I>
- java.lang.Object
-
- net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder<I>
-
public final class LTSminMonitorDFABuilder<I> extends Object
-
-
Constructor Summary
Constructors Constructor Description LTSminMonitorDFABuilder()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description LTSminMonitorDFA<I>
create()
boolean
getKeepFiles()
Function<String,I>
getString2Input()
void
setKeepFiles(boolean keepFiles)
void
setString2Input(Function<String,I> string2Input)
LTSminMonitorDFABuilder<I>
withKeepFiles(boolean keepFiles)
LTSminMonitorDFABuilder<I>
withString2Input(Function<String,I> string2Input)
-
-
-
Method Detail
-
create
public LTSminMonitorDFA<I> create()
-
getKeepFiles
public boolean getKeepFiles()
-
setKeepFiles
public void setKeepFiles(boolean keepFiles)
-
withKeepFiles
public LTSminMonitorDFABuilder<I> withKeepFiles(boolean keepFiles)
-
withString2Input
public LTSminMonitorDFABuilder<I> withString2Input(Function<String,I> string2Input)
-
-