public final class RewriterFactory
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
RewriterFactory.RewriterEnum |
Modifier and Type | Method | Description |
---|---|---|
static Formula |
apply(Formula formula) |
|
static LabelledFormula |
apply(LabelledFormula formula,
RewriterFactory.RewriterEnum... rewriters) |
|
static Formula |
apply(RewriterFactory.RewriterEnum rewriter,
Formula formula) |
|
static LabelledFormula |
apply(RewriterFactory.RewriterEnum rewriter,
LabelledFormula formula) |
public static Formula apply(RewriterFactory.RewriterEnum rewriter, Formula formula)
public static LabelledFormula apply(RewriterFactory.RewriterEnum rewriter, LabelledFormula formula)
public static LabelledFormula apply(LabelledFormula formula, RewriterFactory.RewriterEnum... rewriters)