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

Class Summary

Class	Description
AbstractSpecializedType
ExecutorCollectionType
ExecutorMapType
ExecutorTuplePart
ExecutorTupleType
PivotExecutorStandardLibrary
PivotReflectiveFragment