rescmp - tests subsumption relation between clause sets
rescmp [ -v] file
rescmp is a C-program that compares two clause sets specified by two DFG files.
It tries to find, for each clause in the first set, a corresponding
clause in the second set such that both clauses mutually subsume. It
reports success only if there is a one-to-one mapping between the two
sets under this condition.
The following options are supported by rescmp:
- prints out unmapped clauses - that is clauses that have no corresponding clause - in both sets.
Contact : Christoph Weidenbach <email@example.com>
6.6 SEE ALSO
checkstat(1), filestat(1), pcs(1), pgen(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
This document was generated
by Renate Schmidt on March, 10 2003