public abstract class DfgMiningParameters
extends java.lang.Object
Constructor and Description |
---|
DfgMiningParameters() |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<DfgBaseCaseFinder> |
getDfgBaseCaseFinders() |
DfgCutFinder |
getDfgCutFinder() |
java.lang.Iterable<DfgFallThrough> |
getDfgFallThroughs() |
DfgSplitter |
getDfgSplitter() |
float |
getIncompleteThreshold() |
float |
getNoiseThreshold() |
Probabilities |
getSatProbabilities() |
boolean |
isDebug() |
boolean |
isUseMultiThreading() |
void |
setDebug(boolean debug) |
void |
setDfgBaseCaseFinders(java.lang.Iterable<DfgBaseCaseFinder> baseCaseFinders) |
void |
setDfgCutFinder(DfgCutFinder dfgCutFinder) |
void |
setDfgFallThroughs(java.lang.Iterable<DfgFallThrough> dfgFallThroughs) |
void |
setDfgSplitter(DfgSplitter dfgSplitter) |
void |
setIncompleteThreshold(float incompleteThreshold) |
void |
setNoiseThreshold(float noiseThreshold) |
void |
setSatProbabilities(Probabilities satProbabilities) |
void |
setUseMultithreading(boolean useMultithreading) |
public void setUseMultithreading(boolean useMultithreading)
public boolean isUseMultiThreading()
public java.lang.Iterable<DfgBaseCaseFinder> getDfgBaseCaseFinders()
public void setDfgBaseCaseFinders(java.lang.Iterable<DfgBaseCaseFinder> baseCaseFinders)
public DfgCutFinder getDfgCutFinder()
public void setDfgCutFinder(DfgCutFinder dfgCutFinder)
public DfgSplitter getDfgSplitter()
public void setDfgSplitter(DfgSplitter dfgSplitter)
public java.lang.Iterable<DfgFallThrough> getDfgFallThroughs()
public void setDfgFallThroughs(java.lang.Iterable<DfgFallThrough> dfgFallThroughs)
public boolean isDebug()
public void setDebug(boolean debug)
public float getNoiseThreshold()
public void setNoiseThreshold(float noiseThreshold)
public Probabilities getSatProbabilities()
public void setSatProbabilities(Probabilities satProbabilities)
public float getIncompleteThreshold()
public void setIncompleteThreshold(float incompleteThreshold)