Package net.automatalib.modelchecker.ltsmin.ltl

Class LTSminLTLIOBuilder<I,O>

java.lang.Object

net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLIOBuilder<I,O>

public final class LTSminLTLIOBuilder<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
LTSminLTLIOBuilder()

Method Summary

Modifier and Type	Method	Description
LTSminLTLIO<I,O>	create()
boolean	getKeepFiles()
int	getMinimumUnfolds()
double	getMultiplier()
Collection<? super O>	getSkipOutputs()
Function<String,I>	getString2Input()
Function<String,O>	getString2Output()
void	setKeepFiles(boolean keepFiles)
void	setMinimumUnfolds(int minimumUnfolds)
void	setMultiplier(double multiplier)
void	setSkipOutputs(Collection<? super O> skipOutputs)
void	setString2Input(Function<String,I> string2Input)
void	setString2Output(Function<String,O> string2Output)
LTSminLTLIOBuilder<I,O>	withKeepFiles(boolean keepFiles)
LTSminLTLIOBuilder<I,O>	withMinimumUnfolds(int minimumUnfolds)
LTSminLTLIOBuilder<I,O>	withMultiplier(double multiplier)
LTSminLTLIOBuilder<I,O>	withSkipOutputs(Collection<? super O> skipOutputs)
LTSminLTLIOBuilder<I,O>	withString2Input(Function<String,I> string2Input)
LTSminLTLIOBuilder<I,O>	withString2Output(Function<String,O> string2Output)

Methods inherited from class java.lang.Object

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

Constructor Detail

LTSminLTLIOBuilder

public LTSminLTLIOBuilder()

Method Detail

create

public LTSminLTLIO<I,O> create()

getKeepFiles

public boolean getKeepFiles()

setKeepFiles

public void setKeepFiles(boolean keepFiles)

withKeepFiles

public LTSminLTLIOBuilder<I,O> withKeepFiles(boolean keepFiles)

getString2Input

public Function<String,I> getString2Input()

setString2Input

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

withString2Input

public LTSminLTLIOBuilder<I,O> withString2Input(Function<String,I> string2Input)

getString2Output

public Function<String,O> getString2Output()

setString2Output

public void setString2Output(Function<String,O> string2Output)

withString2Output

public LTSminLTLIOBuilder<I,O> withString2Output(Function<String,O> string2Output)

getMinimumUnfolds

public int getMinimumUnfolds()

setMinimumUnfolds

public void setMinimumUnfolds(int minimumUnfolds)

withMinimumUnfolds

public LTSminLTLIOBuilder<I,O> withMinimumUnfolds(int minimumUnfolds)

getMultiplier

public double getMultiplier()

setMultiplier

public void setMultiplier(double multiplier)

withMultiplier

public LTSminLTLIOBuilder<I,O> withMultiplier(double multiplier)

getSkipOutputs

public Collection<? super O> getSkipOutputs()

setSkipOutputs

public void setSkipOutputs(Collection<? super O> skipOutputs)

withSkipOutputs

public LTSminLTLIOBuilder<I,O> withSkipOutputs(Collection<? super O> skipOutputs)