Package org.sosy_lab.java_smt.api.visitors

The visitors of this package allow for efficient traversal, manipulation and transformation of formulas.

Interface Summary

Interface	Description
BooleanFormulaVisitor<R>	Visitor iterating through the boolean part of the formula.
FormulaVisitor<R>	Visitor iterating through entire formula.

Class Summary

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.
TraversalProcess	Return class that lets the visitor guide the recursive formula traversal process started with FormulaManager.visitRecursively(org.sosy_lab.java_smt.api.Formula, org.sosy_lab.java_smt.api.visitors.FormulaVisitor<org.sosy_lab.java_smt.api.visitors.TraversalProcess>).

Enum Summary

Enum	Description
TraversalProcess.TraversalType