Class DuplicateDnfRemover

java.lang.Object
tools.refinery.logic.rewriter.AbstractRecursiveRewriter
tools.refinery.logic.rewriter.DuplicateDnfRemover
All Implemented Interfaces:
DnfRewriter

public class DuplicateDnfRemover extends AbstractRecursiveRewriter