Dit is de opdracht isofilter2 die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
isofilter - verwijdert isomorfe structuren uit mace4(1) modellen
KORTE INHOUD
isofilter [opties] Invoer bestand > output-bestand
isofilter0 [opties] Invoer bestand > output-bestand
isofilter2 [opties] Invoer bestand > output-bestand
PRODUCTBESCHRIJVING
Deze handleiding documenteert in het kort de: isofilter, isofilter0 en isofilter2 commando's.
If mace4(1) produceert meer dan één structuur, waarvan sommige zeer waarschijnlijk zijn
isomorf met anderen. Het programma isofilter kan worden gebruikt om isomorfe structuren te verwijderen.
ALGORITME
Er zijn meerdere isofilter varianten die alternatieve algoritmen bieden.
isofilter
Maakt gebruik van het Occurrence Profiles-algoritme.
isofilter2
Gebruikt Canonical Forms-algoritme.
OPTIES
Hieronder vindt u een overzicht van de mogelijkheden.
negeer_constanten
Negeer alle constanten tijdens de isomorfismetests.
controle
Beschouw alleen de vermelde operaties in de isomorfismetests.
uitgang
Voer alleen de vermelde uit operaties.
wikkel Omsluit de resulterende structuren in lijst (interpretaties). ... einde_van_lijst.
Gebruik isofilter2 online met onworks.net-services
