public class SurrogateQueryRewriter extends PDisjunctionRewriter
| Constructor and Description |
|---|
SurrogateQueryRewriter() |
| Modifier and Type | Method and Description |
|---|---|
PDisjunction |
rewrite(PDisjunction disjunction) |
rewriteaddTrace, derivativeRemoved, getTraceCollector, getTraces, setTraceCollectorpublic PDisjunction rewrite(PDisjunction disjunction)
rewrite in class PDisjunctionRewriter