/* 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; }