Package tools.refinery.interpreter.matchers.psystem.rewriters

Class PDisjunctionRewriterCacher

java.lang.Object

tools.refinery.interpreter.matchers.psystem.rewriters.AbstractRewriterTraceSource

tools.refinery.interpreter.matchers.psystem.rewriters.PDisjunctionRewriter

tools.refinery.interpreter.matchers.psystem.rewriters.PDisjunctionRewriterCacher

public class PDisjunctionRewriterCacher
extends PDisjunctionRewriter

A rewriter that stores the previously computed results of a rewriter or a rewriter chain.

Since:

1.0

Constructor Summary

Constructors

Constructor	Description
PDisjunctionRewriterCacher(List<PDisjunctionRewriter> rewriterChain)
PDisjunctionRewriterCacher(PDisjunctionRewriter rewriter)
PDisjunctionRewriterCacher(PDisjunctionRewriter... rewriters)

Method Summary

Modifier and Type	Method	Description
PDisjunction	rewrite(PDisjunction disjunction)

Methods inherited from class tools.refinery.interpreter.matchers.psystem.rewriters.PDisjunctionRewriter

rewrite

Methods inherited from class tools.refinery.interpreter.matchers.psystem.rewriters.AbstractRewriterTraceSource

addTrace, derivativeRemoved, getTraceCollector, getTraces, setTraceCollector

Methods inherited from class java.lang.Object

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

Constructor Details

PDisjunctionRewriterCacher

public PDisjunctionRewriterCacher(PDisjunctionRewriter rewriter)

PDisjunctionRewriterCacher

public PDisjunctionRewriterCacher(PDisjunctionRewriter... rewriters)

PDisjunctionRewriterCacher

public PDisjunctionRewriterCacher(List<PDisjunctionRewriter> rewriterChain)

Method Details

rewrite

public PDisjunction rewrite(PDisjunction disjunction)

Specified by:

rewrite in class PDisjunctionRewriter