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:
IdentityPDisjunctionRewriter,PBodyNormalizer,PDisjunctionRewriterCacher,PQueryFlattener,SurrogateQueryRewriter
public abstract class PDisjunctionRewriter extends AbstractRewriterTraceSource
An abstract base class for creating alternative representations for PDisjunctions.
-
-
Constructor Summary
Constructors Constructor Description PDisjunctionRewriter()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract PDisjunctionrewrite(PDisjunction disjunction)PDisjunctionrewrite(PQuery query)-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.AbstractRewriterTraceSource
addTrace, derivativeRemoved, getTraceCollector, getTraces, setTraceCollector
-
-
-
-
Method Detail
-
rewrite
public abstract PDisjunction rewrite(PDisjunction disjunction)
-
rewrite
public PDisjunction rewrite(PQuery query)
-
-