Uses of Class
org.processmining.specpp.orchestra.ExecutionEnvironment

Packages that use ExecutionEnvironment

Package	Description
org.processmining.specpp.orchestra

Uses of ExecutionEnvironment in org.processmining.specpp.orchestra

Methods in org.processmining.specpp.orchestra that return ExecutionEnvironment

Modifier and Type	Method	Description
ExecutionEnvironment	ExecutionEnvironment.ExecutionEvironmentThread.getExecutionEnvironment()

Method parameters in org.processmining.specpp.orchestra with type arguments of type ExecutionEnvironment

Modifier and Type	Method	Description
static ExecutionEnvironment.ExecutionEvironmentThread	ExecutionEnvironment.wrap(java.util.function.Consumer<ExecutionEnvironment> user, java.lang.Runnable finallyClause)
static ExecutionEnvironment.ExecutionEvironmentThread	ExecutionEnvironment.wrap(ExecutionEnvironment.EnvironmentSettings envs, java.util.function.Consumer<ExecutionEnvironment> user, java.lang.Runnable finallyClause)

Constructor parameters in org.processmining.specpp.orchestra with type arguments of type ExecutionEnvironment

Constructor	Description
ExecutionEvironmentThread(ExecutionEnvironment.EnvironmentSettings envs, java.util.function.Consumer<ExecutionEnvironment> user, java.lang.Runnable finallyClause)