net.automatalib.modelcheckers.ltsmin.monitor

Class LTSminMonitorDFABuilder<I>

java.lang.Object

net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorDFABuilder<I>

public final class LTSminMonitorDFABuilder<I>
extends Object

Constructor Summary

Constructors

Constructor and Description
LTSminMonitorDFABuilder()

Method Summary

Modifier and Type	Method and 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LTSminMonitorDFABuilder

public LTSminMonitorDFABuilder()

Method Detail

create

public LTSminMonitorDFA<I> create()

getKeepFiles

public boolean getKeepFiles()

setKeepFiles

public void setKeepFiles(boolean keepFiles)

withKeepFiles

public LTSminMonitorDFABuilder<I> withKeepFiles(boolean keepFiles)

getString2Input

public Function<String,I> getString2Input()

setString2Input

public void setString2Input(Function<String,I> string2Input)

withString2Input

public LTSminMonitorDFABuilder<I> withString2Input(Function<String,I> string2Input)