7 public ScopeNode(Rule r,boolean satisfy) {
11 public Descriptor getDescriptor() {
12 Inclusion inc=rule.getInclusion();
13 if (inc instanceof SetInclusion)
14 return ((SetInclusion)inc).getSet();
15 else if (inc instanceof RelationInclusion)
16 return ((RelationInclusion)inc).getRelation();
17 else throw new Error("Unrecognized Inclusion");
20 public Rule getRule() {
23 public boolean getSatisfy() {