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

    All Methods Instance Methods Abstract Methods Concrete Methods
    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)

    - #### rewrite

          public PDisjunction rewrite(PQuery query)