Uses of Class
de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaVisitor

Uses of FormulaVisitor in de.uni_tuebingen.sfb.lichtenstein.formulas

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type FormulaVisitor

void	ImmediateDominance.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Negation.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Disjunction.accept(FormulaVisitor visitor) Accept a formula visitor.
void	FirstOrderEquality.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Equivalence.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Inclusion.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Visitable.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Subset.accept(FormulaVisitor visitor) Accept a formula visitor.
void	FirstOrderUniversalQuantification.accept(FormulaVisitor visitor) Accept a formula visitor.
void	SecondOrderUniversalQuantification.accept(FormulaVisitor visitor) Accept a formula visitor.
void	SecondOrderExistentialQuantification.accept(FormulaVisitor visitor) Accept a formula visitor.
void	ProperDominance.accept(FormulaVisitor visitor) Accept a formula visitor.
void	FirstOrderExistentialQuantification.accept(FormulaVisitor visitor) Accept a formula visitor.
void	FormulaImpl.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Conjunction.accept(FormulaVisitor visitor) Accept a formula visitor.
void	SecondOrderEquality.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Precedence.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Dominance.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Implication.accept(FormulaVisitor visitor) Accept a formula visitor.