Package tools.refinery.interpreter.matchers.psystem.rewriters

Class IdentityPDisjunctionRewriter

java.lang.Object

tools.refinery.interpreter.matchers.psystem.rewriters.AbstractRewriterTraceSource

tools.refinery.interpreter.matchers.psystem.rewriters.PDisjunctionRewriter

tools.refinery.interpreter.matchers.psystem.rewriters.IdentityPDisjunctionRewriter

public class IdentityPDisjunctionRewriter
extends PDisjunctionRewriter

The identity element of PDisjunctionRewriter composition.

Since:

2.9

Constructor Summary

Constructors

Constructor	Description
IdentityPDisjunctionRewriter()

Method Summary

Modifier and Type	Method	Description
PDisjunction	rewrite(PDisjunction disjunction)

Methods inherited from class tools.refinery.interpreter.matchers.psystem.rewriters.PDisjunctionRewriter

rewrite

Methods inherited from class tools.refinery.interpreter.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 Details

IdentityPDisjunctionRewriter

public IdentityPDisjunctionRewriter()

Method Details

rewrite

public PDisjunction rewrite(PDisjunction disjunction)

Specified by:

rewrite in class PDisjunctionRewriter