Package tools.refinery.logic.rewriter

Class CompoundTermToLiteralsRewriter

java.lang.Object

tools.refinery.logic.rewriter.AbstractRecursiveRewriter

tools.refinery.logic.rewriter.CompoundTermToLiteralsRewriter

All Implemented Interfaces:

DnfRewriter

public class CompoundTermToLiteralsRewriter
extends AbstractRecursiveRewriter

Constructor Summary

Constructors

Constructor	Description
CompoundTermToLiteralsRewriter()

Method Summary

Modifier and Type	Method	Description
protected Dnf	doRewrite(Dnf dnf)

Methods inherited from class tools.refinery.logic.rewriter.AbstractRecursiveRewriter

map, rewrite

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

CompoundTermToLiteralsRewriter

public CompoundTermToLiteralsRewriter()

Method Details

doRewrite

protected Dnf doRewrite(Dnf dnf)

Specified by:

doRewrite in class AbstractRecursiveRewriter