Package org.sosy_lab.java_smt.api.visitors

package org.sosy_lab.java_smt.api.visitors

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

Related Packages

Package	Description
org.sosy_lab.java_smt.api	The core interfaces for abstracting from SMT solvers and providing a common API for all solvers.

Class	Description
BooleanFormulaTransformationVisitor	Base class for visitors for boolean formulas that recursively transform boolean formulas.
BooleanFormulaVisitor<R>	Visitor iterating through the boolean part of the formula.
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.
FormulaVisitor<R>	Visitor iterating through entire formula.
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>).
TraversalProcess.TraversalType