|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| DeMorgansVisitor | Expands the not clauses in a clause tree using DeMorgans law and flips the operators to remove the not alltogether when possible. |
| SimpleEquivalenceComparator | Compares two clauses for equivalence using a simple algorithm. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||