A B C D E F G H I L M N O P Q R S T U V W X Y

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.ImmediateDominance

Accept a formula visitor.

accept(FormulaVisitor) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediatePrecedence

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.

atomic() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.parsing.fsqParser

AtomicFormula - Class in de.uni_tuebingen.sfb.lichtenstein.formulas

A class representing an atomic formula.

AtomicFormula() - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula

Initialize a new atomic formula.