Class SurrogateQueryRewriter
- 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.SurrogateQueryRewriter
-
public class SurrogateQueryRewriter extends PDisjunctionRewriter
-
-
Constructor Summary
Constructors Constructor Description SurrogateQueryRewriter()
-
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
-
-
-
-
Method Detail
-
rewrite
public PDisjunction rewrite(PDisjunction disjunction)
- Specified by:
rewrite
in classPDisjunctionRewriter
-
-