org.eclipse.ocl.options

Class EvaluationOptions