|
||||||||||
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. |
SingleParentVisitor | A visitor which searches the clause tree for the given clause names. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |