isofilter1
Removes isomorphic structures from mace4(1) models
Usage
isofilter [options]
<
input-file
>
output-file
isofilter0 [options]
<
input-file
>
output-file
isofilter2 [options]
<
input-file
>
output-file
Overview
This manual page documents briefly the isofilter, isofilter0 and isofilter2 commands.
If mace4(1) produces more than one structure, some of them are very likely to be isomorphic to others. The program isofilter can be used to remove isomorphic structures.
Algorithm
There are multiple isofilter variants providing alternative algorithms.
|
Uses Occurrence Profiles algorithm. |
|---|---|
|
Uses Canonical Forms algorithm. |
Options
A summary of options is included below.
|
Ignore all constants during the isomorphism tests. |
|---|---|
check <operations>
|
Consider only the listed operations in the isomorphism tests. |
output <operations>
|
Output only the listed operations. |
|
Enclose the resulting structures in list(interpretations). ... end_of_list. |
Releases
6 releases since Debian 5.0 (Lenny); the text changed 1 time.