de.uni_tuebingen.sfb.lichtenstein.formulas
Class FormulaVisitor

java.lang.Object
  de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaVisitor

Direct Known Subclasses:

MonaFormulaBuilder

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

protected abstract void	visit(Conjunction form) Visit a conjunction.
protected abstract void	visit(Disjunction form) Visit a disjunction.
protected abstract void	visit(Dominance form) Visit a dominance atomic formula.
protected abstract void	visit(Equivalence form) Visit an equivalence atomic formula.
protected abstract void	visit(FirstOrderEquality form) Visit a first order equality atomic formula.
protected abstract void	visit(FirstOrderExistentialQuantification form) Visit an existential quantification.
protected abstract void	visit(FirstOrderUniversalQuantification form) Visit a universal quantification.
abstract void	visit(Formula form) Visit a formula.
protected abstract void	visit(ImmediateDominance form) Visit an immediate dominance atomic formula.
protected abstract void	visit(Implication form) Visit an implication.
protected abstract void	visit(Inclusion form) Visit an inclusion.
protected abstract void	visit(Negation form) Visit a negation.
protected abstract void	visit(Precedence form) Visit a precedence atomic formula.
protected abstract void	visit(ProperDominance form) Visit a proper dominance atomic formula.
protected abstract void	visit(SecondOrderEquality form) Visit a second order equality atomic formula.
protected abstract void	visit(SecondOrderExistentialQuantification form) Visit an existential quantification.
protected abstract void	visit(SecondOrderUniversalQuantification form) Visit a universal quantification.
protected abstract void	visit(Subset form) Visit a subset atomic formula.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FormulaVisitor

public FormulaVisitor()

Method Detail

visit

public abstract void visit(Formula form)
                    throws 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 - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Negation form)
                       throws VisitorException

Visit a negation.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Conjunction form)
                       throws VisitorException

Visit a conjunction.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Disjunction form)
                       throws VisitorException

Visit a disjunction.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Implication form)
                       throws VisitorException

Visit an implication.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Equivalence form)
                       throws VisitorException

Visit an equivalence atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(FirstOrderExistentialQuantification form)
                       throws VisitorException

Visit an existential quantification.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(FirstOrderUniversalQuantification form)
                       throws VisitorException

Visit a universal quantification.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(SecondOrderExistentialQuantification form)
                       throws VisitorException

Visit an existential quantification.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(SecondOrderUniversalQuantification form)
                       throws VisitorException

Visit a universal quantification.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(FirstOrderEquality form)
                       throws VisitorException

Visit a first order equality atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(SecondOrderEquality form)
                       throws VisitorException

Visit a second order equality atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Inclusion form)
                       throws VisitorException

Visit an inclusion.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Subset form)
                       throws VisitorException

Visit a subset atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Dominance form)
                       throws VisitorException

Visit a dominance atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(ImmediateDominance form)
                       throws VisitorException

Visit an immediate dominance atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(ProperDominance form)
                       throws VisitorException

Visit a proper dominance atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.

visit

protected abstract void visit(Precedence form)
                       throws VisitorException

Visit a precedence atomic formula.

Parameters:

form - The formula to be visited.

Throws:

VisitorException - [CAN] A visitor can throw any exception. Visitors should thoroughly document this behaviour.