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

## 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 and Description
    `SurrogateQueryRewriter()`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and 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`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### SurrogateQueryRewriter

          public SurrogateQueryRewriter()

  - ### Method Detail

    - #### rewrite

          public PDisjunction rewrite(PDisjunction disjunction)

      Specified by:
        `rewrite` in class `PDisjunctionRewriter`