| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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.
Thorsten Engel and Christian Theobalt.
Contact : spass@mpi-inf.mpg.de
cc man end
checkstat(1), filestat(1), pcs(1), pgen(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This document was generated by Christoph Weidenbach on February, 23 2010 using texi2html 1.78.