de.uni_tuebingen.sfb.lichtenstein.formulas

Interfaces  Formula Quantification Visitable

Classes  AtomicFormula BinaryJunctor ComposedFormula Conjunction Disjunction Dominance Equivalence FirstOrderEquality FirstOrderExistentialQuantification FirstOrderQuantor FirstOrderUniversalQuantification FirstOrderVariable FormulaImpl Formulas FormulaTemplate FormulaVisitor ImmediateDominance ImmediatePrecedence Implication Inclusion NaryJunctor Negation Precedence Predicate ProperDominance SecondOrderEquality SecondOrderExistentialQuantification SecondOrderQuantor SecondOrderUniversalQuantification SecondOrderVariable SetDenotator Subset UnaryJunctor Variable