Package org.processmining.specpp.config.parameters

Class ExecutionParameters

java.lang.Object

org.processmining.specpp.config.parameters.ExecutionParameters

All Implemented Interfaces:

Parameters, PrettyPrintable, ProperlyPrintable

public class ExecutionParameters
extends java.lang.Object
implements Parameters

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExecutionParameters.ExecutionTimeLimits
static class	ExecutionParameters.ParallelizationTarget
static class	ExecutionParameters.PerformanceFocus

Constructor Summary

Constructors

Constructor	Description
ExecutionParameters(ExecutionParameters.ExecutionTimeLimits timeLimits, ExecutionParameters.ParallelizationTarget parallelizationTarget, ExecutionParameters.PerformanceFocus performanceFocus)

Method Summary

Modifier and Type	Method	Description
static ExecutionParameters	getDefault()
ExecutionParameters.ParallelizationTarget	getParallelizationTarget()
ExecutionParameters.PerformanceFocus	getPerformanceFocus()
ExecutionParameters.ExecutionTimeLimits	getTimeLimits()
boolean	hasTimeLimit()
static ExecutionParameters	noTimeouts()
static ExecutionParameters	timeouts(ExecutionParameters.ExecutionTimeLimits timeLimits)
static ExecutionParameters	withDiscoveryTimeLimit(java.time.Duration discoveryTimeLimit)
static ExecutionParameters	withTotalTimeLimit(java.time.Duration totalTimeLimit)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.specpp.config.parameters.Parameters

toPrettyString

Methods inherited from interface org.processmining.specpp.traits.ProperlyPrintable

toString

Constructor Detail

ExecutionParameters

public ExecutionParameters(ExecutionParameters.ExecutionTimeLimits timeLimits,
                           ExecutionParameters.ParallelizationTarget parallelizationTarget,
                           ExecutionParameters.PerformanceFocus performanceFocus)

Method Detail

timeouts

public static ExecutionParameters timeouts(ExecutionParameters.ExecutionTimeLimits timeLimits)

noTimeouts

public static ExecutionParameters noTimeouts()

getTimeLimits

public ExecutionParameters.ExecutionTimeLimits getTimeLimits()

getDefault

public static ExecutionParameters getDefault()

withDiscoveryTimeLimit

public static ExecutionParameters withDiscoveryTimeLimit(java.time.Duration discoveryTimeLimit)

withTotalTimeLimit

public static ExecutionParameters withTotalTimeLimit(java.time.Duration totalTimeLimit)

hasTimeLimit

public boolean hasTimeLimit()

getParallelizationTarget

public ExecutionParameters.ParallelizationTarget getParallelizationTarget()

getPerformanceFocus

public ExecutionParameters.PerformanceFocus getPerformanceFocus()