Package tools.refinery.logic.rewriter

Class InputParameterResolver

java.lang.Object

tools.refinery.logic.rewriter.AbstractRecursiveRewriter

tools.refinery.logic.rewriter.InputParameterResolver

All Implemented Interfaces:

DnfRewriter

public class InputParameterResolver
extends AbstractRecursiveRewriter

Constructor Summary

Constructors

Constructor	Description
InputParameterResolver()

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

InputParameterResolver

public InputParameterResolver()

Method Details

doRewrite

protected Dnf doRewrite(Dnf dnf)

Specified by:

doRewrite in class AbstractRecursiveRewriter