Package org.processmining.specpp.config.parameters

Class ExecutionParameters.ExecutionTimeLimits

java.lang.Object

org.processmining.specpp.config.parameters.ExecutionParameters.ExecutionTimeLimits

Enclosing class:

ExecutionParameters

public static class ExecutionParameters.ExecutionTimeLimits
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ExecutionTimeLimits(java.time.Duration discoveryTimeLimit, java.time.Duration postProcessingTimeLimit, java.time.Duration totalTimeLimit)

Method Summary

Modifier and Type	Method	Description
static ExecutionParameters.ExecutionTimeLimits	empty()
java.time.Duration	getDiscoveryTimeLimit()
java.time.Duration	getPostProcessingTimeLimit()
java.time.Duration	getTotalTimeLimit()
boolean	hasDiscoveryTimeLimit()
boolean	hasPostProcessingTimeLimit()
boolean	hasTotalTimeLimit()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExecutionTimeLimits

public ExecutionTimeLimits(java.time.Duration discoveryTimeLimit,
                           java.time.Duration postProcessingTimeLimit,
                           java.time.Duration totalTimeLimit)

Method Detail

empty

public static ExecutionParameters.ExecutionTimeLimits empty()

hasDiscoveryTimeLimit

public boolean hasDiscoveryTimeLimit()

hasPostProcessingTimeLimit

public boolean hasPostProcessingTimeLimit()

hasTotalTimeLimit

public boolean hasTotalTimeLimit()

getTotalTimeLimit

public java.time.Duration getTotalTimeLimit()

getDiscoveryTimeLimit

public java.time.Duration getDiscoveryTimeLimit()

getPostProcessingTimeLimit

public java.time.Duration getPostProcessingTimeLimit()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object