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

Packages that use FormulaVisitor
de.uni_tuebingen.sfb.lichtenstein.binarytrees   
de.uni_tuebingen.sfb.lichtenstein.formulas   
 

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

Subclasses of FormulaVisitor in de.uni_tuebingen.sfb.lichtenstein.binarytrees
 class MonaFormulaBuilder
          A class which visits a Formula and converts it to a Mona formula.
 

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

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type FormulaVisitor
 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.
 



© Copyright 2008 Hendrik Maryns   Creative Commons License