PDisjunctionRewriterCacher
implementation instead.public abstract class CachingPDisjunctionRewriter extends PDisjunctionRewriter
Constructor and Description |
---|
CachingPDisjunctionRewriter()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
PDisjunction |
rewrite(PDisjunction disjunction)
Deprecated.
|
rewrite
public PDisjunction rewrite(PDisjunction disjunction) throws RewriterException
rewrite
in class PDisjunctionRewriter
RewriterException