/** * Verifica si la eliminación de estados inalcanzables produjo algún cambio sobre el <code>AFD * </code> original. * * @return <code>true</code> si la eliminación de estados inalcanzables produjo algún cambio sobre * el <code>AFD</code> original, <code>false</code> en caso contrario. */ public boolean inalcanzablesEliminados() { if (afdOriginal.toString().equals(afdPostInalcanzables.toString())) return false; else return true; }
/** * Verifica si la eliminación de estados identidades produjo algún cambio sobre el <code>AFD * </code> resultante de la minimización. * * @return <code>true</code> si la eliminación de estados identidades produjo algún cambio sobre * el <code>AFD</code> resultante de la minimización, <code>false</code> en caso contrario. */ public boolean identidadesEliminados() { if (afdPostMinimizacion.toString().equals(afdPostIdentidades.toString())) return false; else return true; }