Package tools.refinery.logic.rewriter
Class CompositeRewriter
java.lang.Object
tools.refinery.logic.rewriter.CompositeRewriter
- All Implemented Interfaces:
DnfRewriter
-
Constructor Details
-
CompositeRewriter
public CompositeRewriter()
-
-
Method Details
-
addFirst
-
rewrite
- Specified by:
rewrite
in interfaceDnfRewriter
-