oneinitializer - Robuta Search

https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/IterateExpBodies._invariant_OneInitializer.html IterateExpBodies._invariant_OneInitializer (MDT-OCL Documentation) invariant mdt ocl documentation