Class AbstractRecursiveRewriter

java.lang.Object
tools.refinery.logic.rewriter.AbstractRecursiveRewriter
All Implemented Interfaces:
DnfRewriter
Direct Known Subclasses:
DuplicateDnfRemover, InputParameterResolver

public abstract class AbstractRecursiveRewriter extends Object implements DnfRewriter
  • Constructor Details

    • AbstractRecursiveRewriter

      public AbstractRecursiveRewriter()
  • Method Details