Package tools.refinery.logic.rewriter

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 Summary

Constructors

Constructor	Description
AbstractRecursiveRewriter()

Method Summary

Modifier and Type	Method	Description
protected abstract Dnf	doRewrite(Dnf dnf)
protected Dnf	map(Dnf dnf)
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

AbstractRecursiveRewriter

public AbstractRecursiveRewriter()

Method Details

rewrite

public Dnf rewrite(Dnf dnf)

Specified by:

rewrite in interface DnfRewriter

map

protected Dnf map(Dnf dnf)

doRewrite

protected abstract Dnf doRewrite(Dnf dnf)