Package tools.refinery.logic.rewriter
Class DuplicateDnfRemover
java.lang.Object
tools.refinery.logic.rewriter.AbstractRecursiveRewriter
tools.refinery.logic.rewriter.DuplicateDnfRemover
- All Implemented Interfaces:
DnfRewriter
-
Constructor Summary
-
Method Summary
Methods inherited from class tools.refinery.logic.rewriter.AbstractRecursiveRewriter
rewrite
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface tools.refinery.logic.rewriter.DnfRewriter
rewrite
-
Constructor Details
-
DuplicateDnfRemover
public DuplicateDnfRemover()
-
-
Method Details
-
map
- Overrides:
map
in classAbstractRecursiveRewriter
-
doRewrite
- Specified by:
doRewrite
in classAbstractRecursiveRewriter
-
rewrite
-