Uses of Class
de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException

Packages that use VisitorException

de.uni_tuebingen.sfb.lichtenstein.binarytrees
de.uni_tuebingen.sfb.lichtenstein.exceptions
de.uni_tuebingen.sfb.lichtenstein.formulas

Uses of VisitorException in de.uni_tuebingen.sfb.lichtenstein.binarytrees

Methods in de.uni_tuebingen.sfb.lichtenstein.binarytrees that throw VisitorException

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

Uses of VisitorException in de.uni_tuebingen.sfb.lichtenstein.exceptions

Subclasses of VisitorException in de.uni_tuebingen.sfb.lichtenstein.exceptions

class

VariableReplacementException A class for indicating a variable could not be replaced while visiting a formula.

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

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that throw VisitorException

void	Negation.accept(FormulaVisitor visitor) Accept a formula visitor.
void	ImmediateDominance.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	Dominance.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Implication.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	FirstOrderExistentialQuantification.accept(FormulaVisitor visitor) Accept a formula visitor.
void	FirstOrderUniversalQuantification.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Subset.accept(FormulaVisitor visitor) Accept a formula visitor.
void	ProperDominance.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Precedence.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Visitable.accept(FormulaVisitor visitor) Accept a formula visitor.
void	SecondOrderEquality.accept(FormulaVisitor visitor) Accept a formula visitor.
void	Conjunction.accept(FormulaVisitor visitor) Accept a formula visitor.
void	ImmediatePrecedence.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.
protected abstract void	FormulaVisitor.visit(Conjunction form) Visit a conjunction.
protected abstract void	FormulaVisitor.visit(Disjunction form) Visit a disjunction.
protected abstract void	FormulaVisitor.visit(Dominance form) Visit a dominance atomic formula.
protected abstract void	FormulaVisitor.visit(Equivalence form) Visit an equivalence atomic formula.
protected abstract void	FormulaVisitor.visit(FirstOrderEquality form) Visit a first order equality atomic formula.
protected abstract void	FormulaVisitor.visit(FirstOrderExistentialQuantification form) Visit an existential quantification.
protected abstract void	FormulaVisitor.visit(FirstOrderUniversalQuantification form) Visit a universal quantification.
abstract void	FormulaVisitor.visit(Formula form) Visit a formula.
protected abstract void	FormulaVisitor.visit(ImmediateDominance form) Visit an immediate dominance atomic formula.
protected abstract void	FormulaVisitor.visit(Implication form) Visit an implication.
protected abstract void	FormulaVisitor.visit(Inclusion form) Visit an inclusion.
protected abstract void	FormulaVisitor.visit(Negation form) Visit a negation.
protected abstract void	FormulaVisitor.visit(Precedence form) Visit a precedence atomic formula.
protected abstract void	FormulaVisitor.visit(ProperDominance form) Visit a proper dominance atomic formula.
protected abstract void	FormulaVisitor.visit(SecondOrderEquality form) Visit a second order equality atomic formula.
protected abstract void	FormulaVisitor.visit(SecondOrderExistentialQuantification form) Visit an existential quantification.
protected abstract void	FormulaVisitor.visit(SecondOrderUniversalQuantification form) Visit a universal quantification.
protected abstract void	FormulaVisitor.visit(Subset form) Visit a subset atomic formula.