Package org.eclipse.epsilon.evl.dom
package org.eclipse.epsilon.evl.dom
-
ClassDescriptionDecides if a constraint with context T, guard G and check C can be rephrased into a single T.all.select(x|G and not C) query, which can be efficiently executed by certain
IModelimplementations (e.g.