public class PDisjunctionRewriterCacher extends PDisjunctionRewriter
| Constructor and Description |
|---|
PDisjunctionRewriterCacher(java.util.List<PDisjunctionRewriter> rewriterChain) |
PDisjunctionRewriterCacher(PDisjunctionRewriter... rewriters) |
PDisjunctionRewriterCacher(PDisjunctionRewriter rewriter) |
| Modifier and Type | Method and Description |
|---|---|
PDisjunction |
rewrite(PDisjunction disjunction) |
rewriteaddTrace, derivativeRemoved, getTraceCollector, getTraces, setTraceCollectorpublic PDisjunctionRewriterCacher(PDisjunctionRewriter rewriter)
public PDisjunctionRewriterCacher(PDisjunctionRewriter... rewriters)
public PDisjunctionRewriterCacher(java.util.List<PDisjunctionRewriter> rewriterChain)
public PDisjunction rewrite(PDisjunction disjunction)
rewrite in class PDisjunctionRewriter