public class UfElimination extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
UfElimination.Result |
| Constructor and Description |
|---|
UfElimination(FormulaManager pFmgr) |
| Modifier and Type | Method and Description |
|---|---|
UfElimination.Result |
eliminateUfs(BooleanFormula f)
Applies the Ackermann transformation to the given
Formula. |
public UfElimination(FormulaManager pFmgr)
public UfElimination.Result eliminateUfs(BooleanFormula f)
Formula.
Quantified formulas are not supported.