/* is the given variable a neighbor of this variable?*/
public boolean isNeighbor(Variable v) {
for (int i = 0; i < neighbors.size(); i++) {
Variable vv = (Variable) neighbors.elementAt(i);
if (v.equalVar(vv)) return true;
}
return false;
}
