Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.utilities |
Modifier and Type | Method and Description |
---|---|
PivotEvaluationEnvironment |
PivotEnvironmentFactory.createEvaluationEnvironment() |
PivotEvaluationEnvironment |
PivotEnvironmentFactory.createEvaluationEnvironment(EvaluationEnvironment parent) |