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

Class SurrogateQueryRewriter

java.lang.Object

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

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

tools.refinery.interpreter.matchers.psystem.rewriters.SurrogateQueryRewriter

public class SurrogateQueryRewriter
extends PDisjunctionRewriter

Constructor Summary

Constructors

Constructor	Description
SurrogateQueryRewriter()

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

SurrogateQueryRewriter

public SurrogateQueryRewriter()

Method Details

rewrite

public PDisjunction rewrite(PDisjunction disjunction)

Specified by:

rewrite in class PDisjunctionRewriter