//Submenu Planaridad
private void porCorolariosToolStripMenuItem_Click(object sender, EventArgs e)
{
if (grafos != null && grafos.Count != 0)
{
if (grafo_activo != null && grafo_activo.getNumeroVertices() >= 2 && grafo_activo.getNumeroAristas() != 0)
{
string cad = "\n\n ";
if (grafo_activo.esPlanoPorCorolarios(ref cad))
{
MessageBox.Show("\n El Grafo " + grafo_activo.getId().ToString() + " es PLANO. " + cad, " Planaridad por corolarios", MessageBoxButtons.OK, MessageBoxIcon.Information);
}
else
{
MessageBox.Show("\n El Grafo " + grafo_activo.getId().ToString() + " NO es PLANO. " + cad, " Planaridad por corolarios", MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
}
}