Uses of Class
org.eclipse.ocl.pivot.library.EvaluatorSingleIterationManager

Packages that use EvaluatorSingleIterationManager

Package	Description
org.eclipse.ocl.pivot.library

Uses of EvaluatorSingleIterationManager in org.eclipse.ocl.pivot.library

Methods in org.eclipse.ocl.pivot.library that return EvaluatorSingleIterationManager

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

Constructors in org.eclipse.ocl.pivot.library with parameters of type EvaluatorSingleIterationManager

Constructor and Description
EvaluatorSingleIterationManager(EvaluatorSingleIterationManager iterationManager, CollectionValue value)