de.uni_tuebingen.sfb.lichtenstein.formulas
Class FormulaVisitor

java.lang.Object
  extended by 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

Constructor Summary
FormulaVisitor()
           
 
Method Summary
abstract  void visit(Formula form)
          Visit a formula.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FormulaVisitor

public FormulaVisitor()
Method Detail

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.
Throws:
VisitorException
A visitor can throw any exception. Visitors should thoroughly document this behaviour.