Class PQueryFlattener

java.lang.Object

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

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

tools.refinery.interpreter.matchers.psystem.rewriters.PQueryFlattener

public class PQueryFlattener
extends PDisjunctionRewriter

This rewriter class holds the query flattening logic

Constructor Summary

Constructors

Constructor	Description
PQueryFlattener(IFlattenCallPredicate flattenCallPredicate)

Method Summary

Modifier and Type	Method	Description
PDisjunction	rewrite(PDisjunction disjunction)

Methods inherited from class PDisjunctionRewriter

rewrite

Methods inherited from class AbstractRewriterTraceSource

addTrace, derivativeRemoved, getTraceCollector, getTraces, setTraceCollector

Methods inherited from class Object

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

Constructor Details

PQueryFlattener

public PQueryFlattener(IFlattenCallPredicate flattenCallPredicate)

Method Details

rewrite

public PDisjunction rewrite(PDisjunction disjunction)

Specified by:

rewrite in class PDisjunctionRewriter