org.eclipse.viatra.query.runtime.matchers.psystem.rewriters

Class PDisjunctionRewriter

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.AbstractRewriterTraceSource

org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.PDisjunctionRewriter

Direct Known Subclasses:

PBodyNormalizer, PDisjunctionRewriterCacher, PQueryFlattener, SurrogateQueryRewriter

public abstract class PDisjunctionRewriter
extends AbstractRewriterTraceSource

An abstract base class for creating alternative representations for PDisjunctions.

Constructor Summary

Constructors

Constructor and Description
PDisjunctionRewriter()

Method Summary

Modifier and Type	Method and Description
abstract PDisjunction	rewrite(PDisjunction disjunction)
PDisjunction	rewrite(PQuery query)

Methods inherited from class org.eclipse.viatra.query.runtime.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 Detail

PDisjunctionRewriter

public PDisjunctionRewriter()

Method Detail

rewrite

public abstract PDisjunction rewrite(PDisjunction disjunction)
                              throws RewriterException

Throws:

RewriterException

rewrite

public PDisjunction rewrite(PQuery query)
                     throws RewriterException

Throws:

RewriterException