See: Description
| Interface | Description |
|---|---|
| BooleanFormulaVisitor<R> |
Visitor iterating through the boolean part of the formula.
|
| FormulaVisitor<R> |
Visitor iterating through entire formula.
|
| Class | Description |
|---|---|
| BooleanFormulaTransformationVisitor |
Base class for visitors for boolean formulas that recursively transform
boolean formulas.
|
| DefaultBooleanFormulaVisitor<R> |
A formula visitor which allows for the default implementation.
|
| DefaultFormulaVisitor<R> | |
| ExpectedFormulaVisitor<R> |
Like
DefaultFormulaVisitor, but throws
UnsupportedOperationException on unexpected formula types. |
| FormulaTransformationVisitor |
Abstract class for formula transformation.
|
| Enum | Description |
|---|---|
| TraversalProcess |
Enum that lets the visitor guide the recursive formula traversal process
started with
FormulaManager.visitRecursively(FormulaVisitor, org.sosy_lab.solver.api.Formula). |