Uses of Class
org.processmining.specpp.config.parameters.ExecutionParameters

Packages that use ExecutionParameters

Package	Description
org.processmining.specpp.componenting.data
org.processmining.specpp.config.parameters
org.processmining.specpp.orchestra

Uses of ExecutionParameters in org.processmining.specpp.componenting.data

Fields in org.processmining.specpp.componenting.data with type parameters of type ExecutionParameters

Modifier and Type	Field	Description
static ParameterRequirement<ExecutionParameters>	ParameterRequirements.EXECUTION_PARAMETERS

Uses of ExecutionParameters in org.processmining.specpp.config.parameters

Methods in org.processmining.specpp.config.parameters that return ExecutionParameters

Modifier and Type	Method	Description
static ExecutionParameters	ExecutionParameters.getDefault()
static ExecutionParameters	ExecutionParameters.noTimeouts()
static ExecutionParameters	ExecutionParameters.timeouts(ExecutionParameters.ExecutionTimeLimits timeLimits)
static ExecutionParameters	ExecutionParameters.withDiscoveryTimeLimit(java.time.Duration discoveryTimeLimit)
static ExecutionParameters	ExecutionParameters.withTotalTimeLimit(java.time.Duration totalTimeLimit)

Uses of ExecutionParameters in org.processmining.specpp.orchestra

Methods in org.processmining.specpp.orchestra with parameters of type ExecutionParameters

Modifier and Type	Method	Description
<C extends Candidate,I extends CompositionComponent<C>,R extends Result,F extends Result> ExecutionEnvironment.SPECppExecution<C,I,R,F>	ExecutionEnvironment.execute(SPECpp<C,I,R,F> specpp, ExecutionParameters executionParameters)
static <C extends Candidate,I extends CompositionComponent<C>,R extends Result,F extends Result> ExecutionEnvironment.SPECppExecution<C,I,R,F>	ExecutionEnvironment.oneshotExecution(SPECpp<C,I,R,F> specpp, ExecutionParameters executionParameters)