A B C D E F G H I L N O P Q S T U V

A

accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification
Accept a formula visitor.
accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset
Accept a formula visitor.
accept(FormulaVisitor) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Visitable
Accept a formula visitor.
and(Formula) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula
Return the conjunction of this formula with that formula.
and(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl
Return the conjunction of this formula with that formula.
and(Formula...) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Formulas
Return the conjunction of the given formula with that formula.
AtomicFormula - Class in de.uni_tuebingen.sfb.lichtenstein.formulas
A class representing an atomic formula.

A B C D E F G H I L N O P Q S T U V