Hierarchy For Package de.uni_tuebingen.sfb.lichtenstein.formulas

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl (implements de.uni_tuebingen.sfb.lichtenstein.formulas.Formula, java.io.Serializable)
    • de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula
      • de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance
      • de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality
      • de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance
      • de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediatePrecedence
      • de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion
      • de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence
      • de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance
      • de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality
      • de.uni_tuebingen.sfb.lichtenstein.formulas.Subset
    • de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula
      • de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor
        • de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence
        • de.uni_tuebingen.sfb.lichtenstein.formulas.Implication
      • de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor (implements de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification)
        • de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification
        • de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification
      • de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor
        • de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction
        • de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction
      • de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor (implements de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification)
        • de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification
        • de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification
      • de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor
        • de.uni_tuebingen.sfb.lichtenstein.formulas.Negation
  • de.uni_tuebingen.sfb.lichtenstein.formulas.Formulas
  • de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate
  • de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaVisitor
  • de.uni_tuebingen.sfb.lichtenstein.formulas.Variable (implements java.io.Serializable)
    • de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable
    • de.uni_tuebingen.sfb.lichtenstein.formulas.SetDenotator
      • de.uni_tuebingen.sfb.lichtenstein.formulas.Predicate
      • de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderVariable

Interface Hierarchy

• java.io.Serializable
  • de.uni_tuebingen.sfb.lichtenstein.formulas.Formula (also extends de.uni_tuebingen.sfb.lichtenstein.formulas.Visitable)
    • de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification
• de.uni_tuebingen.sfb.lichtenstein.formulas.Visitable
  • de.uni_tuebingen.sfb.lichtenstein.formulas.Formula (also extends java.io.Serializable)
    • de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification