OKlibrary  0.2.1.6
ClauseSets.hpp File Reference

Plans regarding the category of formal clause-sets. More...

Go to the source code of this file.


Detailed Description

Plans regarding the category of formal clause-sets.

Todo:
Improve flcls2fcls
  • Providing the information on the renaming:
    1. We should provide the translation between old and new literals.
    2. Perhaps returning a pair, where the second component is a hash-map.
    3. The question is, in which direction shall the hash-map translate? Perhaps most like that one wants for the new literals to know to which old literals (in the literal-structure) they correspond.
    4. On the other hand, the hash-map translating from the old literals to the new literals is already been computed, and needed only to be returned. Perhaps that's best.

Definition in file ClauseSets.hpp.