Class CompositeRewriter

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

public class CompositeRewriter extends Object implements DnfRewriter
  • Constructor Details

    • CompositeRewriter

      public CompositeRewriter()
  • Method Details