Expr expr;
SetExpr setexpr;
+ public boolean inverted() {
+ return setexpr.inverted();
+ }
+
+
public InclusionPredicate(Expr expr, SetExpr setexpr) {
if (expr == null) {
throw new NullPointerException();
//return set;
}
+ public Descriptor getDescriptor() {
+ if (setexpr instanceof ImageSetExpr) {
+ return ((ImageSetExpr)setexpr).getRelation();
+ } else
+ return setexpr.sd;
+ }
+
public int[] getRepairs(boolean negated) {
if (setexpr instanceof ImageSetExpr) {
if (negated)
}
}
+