Class DuplicateDnfRemover

java.lang.Object

tools.refinery.logic.rewriter.AbstractRecursiveRewriter

tools.refinery.logic.rewriter.DuplicateDnfRemover

All Implemented Interfaces:

DnfRewriter

public class DuplicateDnfRemover
extends AbstractRecursiveRewriter

Constructor Summary

Constructors

Constructor	Description
DuplicateDnfRemover()

Method Summary

Modifier and Type	Method	Description
protected Dnf	doRewrite(Dnf dnf)
protected Dnf	map(Dnf dnf)
<T> Query<T>	rewrite(Query<T> query)

Methods inherited from class AbstractRecursiveRewriter

rewrite

Methods inherited from class Object

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

Methods inherited from interface DnfRewriter

rewrite

Constructor Details

DuplicateDnfRemover

public DuplicateDnfRemover()

Method Details

map

protected Dnf map(Dnf dnf)

Overrides:

map in class AbstractRecursiveRewriter

doRewrite

protected Dnf doRewrite(Dnf dnf)

Specified by:

doRewrite in class AbstractRecursiveRewriter

rewrite

public <T> Query<T> rewrite(Query<T> query)