Package tools.refinery.logic.rewriter

Class CompositeRewriter

java.lang.Object

tools.refinery.logic.rewriter.CompositeRewriter

All Implemented Interfaces:

DnfRewriter

public class CompositeRewriter
extends Object
implements DnfRewriter

Constructor Summary

Constructors

Constructor	Description
CompositeRewriter()

Method Summary

Modifier and Type	Method	Description
void	addFirst(DnfRewriter rewriter)
Dnf	rewrite(Dnf dnf)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface tools.refinery.logic.rewriter.DnfRewriter

rewrite, rewrite

Constructor Details

CompositeRewriter

public CompositeRewriter()

Method Details

addFirst

public void addFirst(DnfRewriter rewriter)

rewrite

public Dnf rewrite(Dnf dnf)

Specified by:

rewrite in interface DnfRewriter