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) |
rewrite
public PDisjunctionRewriterCacher(PDisjunctionRewriter rewriter)
public PDisjunctionRewriterCacher(PDisjunctionRewriter... rewriters)
public PDisjunctionRewriterCacher(java.util.List<PDisjunctionRewriter> rewriterChain)
public PDisjunction rewrite(PDisjunction disjunction) throws RewriterException
rewrite
in class PDisjunctionRewriter
RewriterException