Este es el comando isofilter2 que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
isofiltro: elimina las estructuras isomorfas de mace4(1) modelos
SINOPSIS
isofiltro [opciones] fichero de entrada > archivo de salida
isofiltro0 [opciones] fichero de entrada > archivo de salida
isofiltro2 [opciones] fichero de entrada > archivo de salida
DESCRIPCIÓN
Esta página de manual documenta brevemente la isofiltro, isofiltro0 y isofiltro2 comandos.
If mace4(1) produce más de una estructura, es muy probable que algunas de ellas sean
isomorfo a otros. El programa isofiltro se puede utilizar para eliminar estructuras isomorfas.
ALGORITMO
Hay múltiples isofiltro variantes que proporcionan algoritmos alternativos.
isofiltro
Utiliza el algoritmo de Perfiles de ocurrencia.
isofiltro2
Utiliza el algoritmo Canonical Forms.
CAMPUS
Un resumen de las opciones se incluye a continuación.
ignorar_constantes
Ignore todas las constantes durante las pruebas de isomorfismo.
comprobar
Considere solo los enumerados operaciones en las pruebas de isomorfismo.
salida
Salida solo el listado operaciones.
envolver Incluya las estructuras resultantes en lista (interpretaciones). ... fin_de_la_lista.
Utilice isofilter2 en línea utilizando los servicios de onworks.net
