Class PDisjunctionRewriterCacher
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.AbstractRewriterTraceSource
-
- org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.PDisjunctionRewriter
-
- org.eclipse.viatra.query.runtime.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(java.util.List<PDisjunctionRewriter> rewriterChain)
PDisjunctionRewriterCacher(PDisjunctionRewriter rewriter)
PDisjunctionRewriterCacher(PDisjunctionRewriter... rewriters)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PDisjunction
rewrite(PDisjunction disjunction)
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.PDisjunctionRewriter
rewrite
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.AbstractRewriterTraceSource
addTrace, derivativeRemoved, getTraceCollector, getTraces, setTraceCollector
-
-
-
-
Constructor Detail
-
PDisjunctionRewriterCacher
public PDisjunctionRewriterCacher(PDisjunctionRewriter rewriter)
-
PDisjunctionRewriterCacher
public PDisjunctionRewriterCacher(PDisjunctionRewriter... rewriters)
-
PDisjunctionRewriterCacher
public PDisjunctionRewriterCacher(java.util.List<PDisjunctionRewriter> rewriterChain)
-
-
Method Detail
-
rewrite
public PDisjunction rewrite(PDisjunction disjunction)
- Specified by:
rewrite
in classPDisjunctionRewriter
-
-