de.uni_tuebingen.sfb.lichtenstein.formulas
Class FormulaVisitor
java.lang.Object
de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaVisitor
public abstract class FormulaVisitor
- extends Object
A general interface representing a visitor that visits formulas. See the Visitor pattern.
- Author:
- Hendrik Maryns
Method Summary |
abstract void |
visit(Formula form)
Visit a formula. |
FormulaVisitor
public FormulaVisitor()
visit
public abstract void visit(Formula form)
throws de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException
- Visit a formula. Generally, subclasses will provide enough more specific methods to make sure the whole Formula
compositum is visited properly.
- Parameters:
form
- The formula to be visited.VisitorException
A visitor can throw any exception. Visitors should thoroughly document this behaviour.