///////////////////////////////////////////////////////// Mostrar vertices
// ///////////////////////////////////////////////
public HashSet vertices(Grafo g) {
HashSet aux = new HashSet();
for (Enumeration e = g.CjtoVertice.elements(); e.hasMoreElements(); ) {
Vertice v1 = (Vertice) e.nextElement();
aux.add(v1.idVertice);
}
;
return aux;
};
///////////////////////////////////////////////////////// Eliminar vertice
// ///////////////////////////////////////////////
public void eliminarVertice(Grafo g, String idVertice) {
g.CjtoVertice.remove(idVertice);
for (Enumeration e = g.CjtoLados.elements(); e.hasMoreElements(); ) {
Lado l = (Lado) e.nextElement();
if (l.idVerInic.equals(idVertice) || l.idVerFin.equals(idVertice)) {
g.CjtoLados.remove(l.idLado);
}
}
;
};
