de.uni_tuebingen.sfb.lichtenstein.formulas
Interface Visitable

All Known Subinterfaces:

Formula, Quantification

All Known Implementing Classes:

AtomicFormula, BinaryJunctor, ComposedFormula, Conjunction, Disjunction, Dominance, Equivalence, FirstOrderEquality, FirstOrderExistentialQuantification, FirstOrderQuantor, FirstOrderUniversalQuantification, FormulaImpl, ImmediateDominance, Implication, Inclusion, NaryJunctor, Negation, Precedence, ProperDominance, SecondOrderEquality, SecondOrderExistentialQuantification, SecondOrderQuantor, SecondOrderUniversalQuantification, Subset, UnaryJunctor

public interface Visitable

An interface indicating a formula visitor can visit this class.

Author:

Hendrik Maryns

Method Summary

void	accept(FormulaVisitor visitor) Accept a formula visitor.

Method Detail

accept

void accept(FormulaVisitor visitor)
            throws de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException

Accept a formula visitor. The iteration is done by the visitor, not by the formula.

Parameters:

visitor - The visitor that is to be accepted to do its work.

Throws:

VisitorException

A visitor can throw an exception.