Uses of Interface
org.eclipse.ocl.pivot.evaluation.IterationManager.IterationManagerExtension

Packages that use IterationManager.IterationManagerExtension

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

Uses of IterationManager.IterationManagerExtension in org.eclipse.ocl.pivot.internal.library.executor

Classes in org.eclipse.ocl.pivot.internal.library.executor that implement IterationManager.IterationManagerExtension

Modifier and Type	Class and Description
class	ExecutorDoubleIterationManager
class	ExecutorSingleIterationManager

Uses of IterationManager.IterationManagerExtension in org.eclipse.ocl.pivot.library

Classes in org.eclipse.ocl.pivot.library that implement IterationManager.IterationManagerExtension

Modifier and Type	Class and Description
class	AbstractEvaluatorIterationManager
class	AbstractIterationManager
class	EvaluatorMultipleIterationManager
class	EvaluatorSingleIterationManager