Package tools.refinery.logic.rewriter
Class AbstractRecursiveRewriter
java.lang.Object
tools.refinery.logic.rewriter.AbstractRecursiveRewriter
- All Implemented Interfaces:
DnfRewriter
- Direct Known Subclasses:
DuplicateDnfRemover
,InputParameterResolver
-
Constructor Details
-
AbstractRecursiveRewriter
public AbstractRecursiveRewriter()
-
-
Method Details
-
rewrite
- Specified by:
rewrite
in interfaceDnfRewriter
-
map
-
doRewrite
-