private void BBorraGrafo_Click(object sender, EventArgs e)
{
if (grafo_activo != null)
{
grafo_activo.getListaAdyacencia().Clear();
grafo_activo.getListaAristas().Clear();
grafo_activo.setNumeroAristas(0);
grafo_activo.setNumeroVertices(0);
grafo_activo.borrate((TabPage)Pestanas.Controls[Pestanas.SelectedIndex]);
}
}