public class HybridPNMinerSettings
extends java.lang.Object
Constructor and Description |
---|
HybridPNMinerSettings() |
HybridPNMinerSettings(double prePlaceEvalThreshold,
double placeEvalThreshold,
boolean maxClusterSizeEnabled) |
HybridPNMinerSettings(int t,
int r,
CandidatePlaceSelectionStrategyEnum ps,
int pm,
int pn,
int pi,
int po,
CandidatePlaceIteratorEnum os,
ConflictStrategyEnum cs,
java.lang.Double placeEvalThreshold) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
ConflictStrategyEnum |
getConflictStrategy() |
int |
getIPlaceNumber() |
int |
getMaxPlaceNumber() |
int |
getMaxTime() |
int |
getOPlaceNumber() |
CandidatePlaceIteratorEnum |
getOrderingStrategy() |
double |
getPlaceEvalThreshold() |
int |
getPlaceNumber() |
CandidatePlaceSelectionStrategyEnum |
getPlaceStrategy() |
double |
getPrePlaceEvaluationThreshold() |
int |
getReplayThreshold() |
int |
hashCode() |
void |
setConflictStrategy(ConflictStrategyEnum cs) |
void |
setMaxPlaceNumber(int m) |
void |
setMaxTime(int mt) |
void |
setOrderingStrategy(CandidatePlaceIteratorEnum os) |
void |
setPlaceEvalThreshold(double placeEvalThreshold) |
void |
setPlaceNumber(int pn) |
void |
setPlaceNumber(int pi,
int po) |
void |
setPlaceStrategy(CandidatePlaceSelectionStrategyEnum ps) |
void |
setPrePlaceEvaluationThreshold(double prePlaceEvaluationThreshold) |
void |
setReplayThreshold(int rt) |
public HybridPNMinerSettings(double prePlaceEvalThreshold, double placeEvalThreshold, boolean maxClusterSizeEnabled)
public HybridPNMinerSettings()
public HybridPNMinerSettings(int t, int r, CandidatePlaceSelectionStrategyEnum ps, int pm, int pn, int pi, int po, CandidatePlaceIteratorEnum os, ConflictStrategyEnum cs, java.lang.Double placeEvalThreshold)
public double getPrePlaceEvaluationThreshold()
public void setPrePlaceEvaluationThreshold(double prePlaceEvaluationThreshold)
public double getPlaceEvalThreshold()
public void setMaxPlaceNumber(int m)
public void setPlaceNumber(int pn)
public void setPlaceNumber(int pi, int po)
public void setPlaceStrategy(CandidatePlaceSelectionStrategyEnum ps)
public void setOrderingStrategy(CandidatePlaceIteratorEnum os)
public void setConflictStrategy(ConflictStrategyEnum cs)
public void setReplayThreshold(int rt)
public void setMaxTime(int mt)
public int getMaxPlaceNumber()
public int getPlaceNumber()
public int getIPlaceNumber()
public int getOPlaceNumber()
public CandidatePlaceSelectionStrategyEnum getPlaceStrategy()
public CandidatePlaceIteratorEnum getOrderingStrategy()
public ConflictStrategyEnum getConflictStrategy()
public int getReplayThreshold()
public int getMaxTime()
public void setPlaceEvalThreshold(double placeEvalThreshold)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object