Botones de Acceso Rápido
En la parte superior de la aplicación se encuentran una serie de botones de acceso rápido a las funciones más usadas de la aplicación. Su funcionalidad se explica a continuación:
Permite cargar una descripción de un conjunto de posibles conflictos almacenado en un fichero. Se admiten ficheros en formato XML generados tanto para la antigua versión del visor como para la presente versión:
Al seleccionar esta opción se mostrará un formulario en el que se permite seleccionar el fichero que contiene la descripción del conjunto de posibles conflictos. En caso de que el fichero tenga el formato correcto se mostrará el primer modelo evaluable minimal perteneciente al conjunto de posibles conflictos. En caso contrario se mostrará un mensaje de error y no se cargará la descripción.
Muestra esta ventana de ayuda.
Seleccione esta opción si desea cerrar la aplicación. Perderá cualquier resultado que no haya almacenado mediante la opción de guardar resultados.