+
+ /** Thie method tells whether the repair needs to remove objects *
+ * from the relation, or whether the model definition rules make
+ * the remove unnecessary.*/
+
+ public boolean needsRemoves(State state) {
+ assert type==MODIFYRELATION;
+ SetDescriptor sd=getPredicate().getPredicate().inverted()?getRangeSet():getDomainSet();
+ return !ConstraintDependence.rulesensurefunction(state,(RelationDescriptor)getDescriptor(), sd, getPredicate().getPredicate().inverted(), true);
+ }
+