Class ETCBasedComposerParameters
- java.lang.Object
-
- org.processmining.specpp.config.parameters.ETCBasedComposerParameters
-
- All Implemented Interfaces:
Parameters,PrettyPrintable,ProperlyPrintable
public class ETCBasedComposerParameters extends java.lang.Object implements Parameters
Parameter to set the threshold to prematurely abort the discovery using the ETC-based composer (if FlagPrematureAbort = true). Threshold used to guide cutting off subtrees (if FlagETCPrecisionCutOff = true).
-
-
Constructor Summary
Constructors Constructor Description ETCBasedComposerParameters(double p)Creates a new RhoETCPrecisionThreshold-parameter.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static ETCBasedComposerParametersgetDefault()Returns the RhoETCPrecisionThreshold-parameter with its default value 1.0doublegetRho()Returns the value of the RhoETCPrecisionThreshold-parameter.static ETCBasedComposerParametersrho(double p)Creates a new RhoETCPrecisionThreshold-parameter.java.lang.StringtoString()Returns a string with the name of the parameter and its value.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.processmining.specpp.config.parameters.Parameters
toPrettyString
-
-
-
-
Method Detail
-
rho
public static ETCBasedComposerParameters rho(double p)
Creates a new RhoETCPrecisionThreshold-parameter.- Parameters:
p- Value for rho.- Returns:
- RhoETCPrecisionThreshold-parameter.
-
getDefault
public static ETCBasedComposerParameters getDefault()
Returns the RhoETCPrecisionThreshold-parameter with its default value 1.0- Returns:
- RhoETCPrecisionThreshold-parameter
-
getRho
public double getRho()
Returns the value of the RhoETCPrecisionThreshold-parameter.- Returns:
- Rho.
-
toString
public java.lang.String toString()
Returns a string with the name of the parameter and its value.- Specified by:
toStringin interfaceProperlyPrintable- Overrides:
toStringin classjava.lang.Object- Returns:
- String.
-
-