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

Packages that use ExecutionEnvironment.ExecutionEvironmentThread

Package	Description
org.processmining.specpp.orchestra

Uses of ExecutionEnvironment.ExecutionEvironmentThread in org.processmining.specpp.orchestra

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

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)