Class InputParameterResolver

java.lang.Object
tools.refinery.logic.rewriter.AbstractRecursiveRewriter
tools.refinery.logic.rewriter.InputParameterResolver
All Implemented Interfaces:
DnfRewriter

public class InputParameterResolver extends AbstractRecursiveRewriter