Package net.automatalib.modelchecker.ltsmin.ltl

Class LTSminLTLAlternatingBuilder<I,O>

java.lang.Object

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

public final class LTSminLTLAlternatingBuilder<I,O>
extends Object

Constructor Summary

Constructors

Constructor	Description
LTSminLTLAlternatingBuilder()

Method Summary

Modifier and Type	Method	Description
LTSminLTLAlternating<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)
LTSminLTLAlternatingBuilder<I,O>	withKeepFiles(boolean keepFiles)
LTSminLTLAlternatingBuilder<I,O>	withMinimumUnfolds(int minimumUnfolds)
LTSminLTLAlternatingBuilder<I,O>	withMultiplier(double multiplier)
LTSminLTLAlternatingBuilder<I,O>	withSkipOutputs(Collection<? super O> skipOutputs)
LTSminLTLAlternatingBuilder<I,O>	withString2Input(Function<String,I> string2Input)
LTSminLTLAlternatingBuilder<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

LTSminLTLAlternatingBuilder

public LTSminLTLAlternatingBuilder()

Method Detail

create

public LTSminLTLAlternating<I,O> create()

getKeepFiles

public boolean getKeepFiles()

setKeepFiles

public void setKeepFiles(boolean keepFiles)

withKeepFiles

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

getString2Input

public Function<String,I> getString2Input()

setString2Input

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

withString2Input

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

getString2Output

public Function<String,O> getString2Output()

setString2Output

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

withString2Output

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

getMinimumUnfolds

public int getMinimumUnfolds()

setMinimumUnfolds

public void setMinimumUnfolds(int minimumUnfolds)

withMinimumUnfolds

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

getMultiplier

public double getMultiplier()

setMultiplier

public void setMultiplier(double multiplier)

withMultiplier

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

getSkipOutputs

public Collection<? super O> getSkipOutputs()

setSkipOutputs

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

withSkipOutputs

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