public NodoConVecinos(Nodo otro) {
// creamos el NodoConVecinos a partir de uno del ej3.
// OJO: no le marcamos los vecinos. Es lo hacemos con agregarVecinos.
this.setId(otro.getId());
this.setColor(otro.getColor());
assert (this.getColor() > 0); // en el ej3 se usan colores entre 1 y c (en vez de entre 0 y c-1)
this._coloresPosibles = new HashSet<Integer>();
int color = 0;
for (boolean esta : otro.getSeguimientoColoresTotales()) {
if (esta) {
this._coloresPosibles.add(color);
}
color++;
}
this._vecinos = new HashSet<NodoConVecinos>();
}