Uses of Class
org.eclipse.ocl.pivot.internal.library.executor.ExecutorSingleIterationManager

Packages that use ExecutorSingleIterationManager

Package	Description
org.eclipse.ocl.pivot.internal.library.executor

Uses of ExecutorSingleIterationManager in org.eclipse.ocl.pivot.internal.library.executor

Methods in org.eclipse.ocl.pivot.internal.library.executor that return ExecutorSingleIterationManager

Modifier and Type	Method and Description
ExecutorSingleIterationManager	ExecutorSingleIterationManager.getRootIterationManager()