Package org.eclipse.epsilon.evl.dom
-
Interface Summary Interface Description IEvlVisitor -
Class Summary Class Description Constraint ConstraintContext ConstraintSelectTransfomer Decides 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 certainIModel
implementations (e.g.Fix GlobalConstraintContext