Menú Archivo

Este menú proporciona las siguientes opciones para el trabajo con archivos:

Cargar PCs:

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.

Salir:

Seleccione esta opción si desea cerrar la aplicación. Perderá cualquier resultado que no haya almacenado mediante la opción de guardar resultados.