public final class LTSminLTLAlternatingBuilder<I,O> extends Object
Constructor and Description |
---|
LTSminLTLAlternatingBuilder() |
public LTSminLTLAlternating<I,O> create()
public boolean getKeepFiles()
public void setKeepFiles(boolean keepFiles)
public LTSminLTLAlternatingBuilder<I,O> withKeepFiles(boolean keepFiles)
public LTSminLTLAlternatingBuilder<I,O> withString2Input(Function<String,I> string2Input)
public LTSminLTLAlternatingBuilder<I,O> withString2Output(Function<String,O> string2Output)
public int getMinimumUnfolds()
public void setMinimumUnfolds(int minimumUnfolds)
public LTSminLTLAlternatingBuilder<I,O> withMinimumUnfolds(int minimumUnfolds)
public double getMultiplier()
public void setMultiplier(double multiplier)
public LTSminLTLAlternatingBuilder<I,O> withMultiplier(double multiplier)
public Collection<? super O> getSkipOutputs()
public void setSkipOutputs(Collection<? super O> skipOutputs)
public LTSminLTLAlternatingBuilder<I,O> withSkipOutputs(Collection<? super O> skipOutputs)
Copyright © 2020. All rights reserved.