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 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
-
-
-
-
Method Detail
-
rewrite
public abstract PDisjunction rewrite(PDisjunction disjunction)
-
rewrite
public PDisjunction rewrite(PQuery query)
-
-