Class IdentityPDisjunctionRewriter
- 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.IdentityPDisjunctionRewriter
-
public class IdentityPDisjunctionRewriter extends PDisjunctionRewriter
The identity element of PDisjunctionRewriter composition.- Since:
- 2.9
-
-
Constructor Summary
Constructors Constructor Description IdentityPDisjunctionRewriter()
-
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
-
-