Class HybridPNMinerSettings
- java.lang.Object
-
- org.processmining.extendedhybridminer.plugins.HybridPNMinerSettings
-
public class HybridPNMinerSettings extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description HybridPNMinerSettings()HybridPNMinerSettings(double placeEvalThresold)HybridPNMinerSettings(double placeEvalThresold, FitnessType fitness)HybridPNMinerSettings(int t, int r, CandidatePlaceSelectionStrategyEnum ps, int pm, int pn, int pi, int po, CandidatePlaceIteratorEnum os, ConflictStrategyEnum cs, java.lang.Double prePlaceEvalThreshold, java.lang.Double placeEvalThreshold, FitnessType fitness)
-
Method Summary
-
-
-
Constructor Detail
-
HybridPNMinerSettings
public HybridPNMinerSettings()
-
HybridPNMinerSettings
public HybridPNMinerSettings(double placeEvalThresold)
-
HybridPNMinerSettings
public HybridPNMinerSettings(double placeEvalThresold, FitnessType fitness)
-
HybridPNMinerSettings
public HybridPNMinerSettings(int t, int r, CandidatePlaceSelectionStrategyEnum ps, int pm, int pn, int pi, int po, CandidatePlaceIteratorEnum os, ConflictStrategyEnum cs, java.lang.Double prePlaceEvalThreshold, java.lang.Double placeEvalThreshold, FitnessType fitness)
-
-
Method Detail
-
getPrePlaceEvaluationThreshold
public double getPrePlaceEvaluationThreshold()
-
setPrePlaceEvaluationThreshold
public void setPrePlaceEvaluationThreshold(double prePlaceEvaluationThreshold)
-
getPlaceEvalThreshold
public double getPlaceEvalThreshold()
-
setMaxPlaceNumber
public void setMaxPlaceNumber(int m)
-
setPlaceNumber
public void setPlaceNumber(int pn)
-
setPlaceNumber
public void setPlaceNumber(int pi, int po)
-
setPlaceStrategy
public void setPlaceStrategy(CandidatePlaceSelectionStrategyEnum ps)
-
setOrderingStrategy
public void setOrderingStrategy(CandidatePlaceIteratorEnum os)
-
setConflictStrategy
public void setConflictStrategy(ConflictStrategyEnum cs)
-
setReplayThreshold
public void setReplayThreshold(int rt)
-
setMaxTime
public void setMaxTime(int mt)
-
getMaxPlaceNumber
public int getMaxPlaceNumber()
-
getPlaceNumber
public int getPlaceNumber()
-
getIPlaceNumber
public int getIPlaceNumber()
-
getOPlaceNumber
public int getOPlaceNumber()
-
getPlaceStrategy
public CandidatePlaceSelectionStrategyEnum getPlaceStrategy()
-
getOrderingStrategy
public CandidatePlaceIteratorEnum getOrderingStrategy()
-
getConflictStrategy
public ConflictStrategyEnum getConflictStrategy()
-
getReplayThreshold
public int getReplayThreshold()
-
getMaxTime
public int getMaxTime()
-
setPlaceEvalThreshold
public void setPlaceEvalThreshold(double placeEvalThreshold)
-
setFitnessType
public void setFitnessType(FitnessType t)
-
getFitnessType
public FitnessType getFitnessType()
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
getThresholdEarlyCancelationIterator
public int getThresholdEarlyCancelationIterator()
-
setThresholdEarlyCancelationIterator
public void setThresholdEarlyCancelationIterator(int i)
-
-