public boolean contains(RefGroup r) {
int l = r.refs.size();
for (int k = 0; k < l; k++) if (refs.contains(r.refs.elementAt(k))) return true;
return false;
}
public void add(RefGroup r) {
int l = r.refs.size();
for (int i = 0; i < l; i++) {
Object ref = r.refs.elementAt(i);
if (!refs.contains(ref)) refs.addElement(ref);
}
}
public boolean contains(Expr d) {
return refs.contains(d);
}
public void add(DDEdge edge) {
if (refs.contains(edge)) return;
refs.addElement(edge);
}