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.
-
ClassDescriptionBase class for visitors for boolean formulas that recursively transform boolean formulas.Visitor iterating through the boolean part of the formula.A formula visitor which allows for the default implementation.Like
DefaultFormulaVisitor, but throwsUnsupportedOperationExceptionon unexpected formula types.Abstract class for formula transformation.Visitor iterating through entire formula.Return class that lets the visitor guide the recursive formula traversal process started withFormulaManager.visitRecursively(org.sosy_lab.java_smt.api.Formula, org.sosy_lab.java_smt.api.visitors.FormulaVisitor<org.sosy_lab.java_smt.api.visitors.TraversalProcess>).