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

P

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

A class representing the atomic formula which says one node precedes another.

Precedence(FirstOrderVariable, FirstOrderVariable) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Initialize a new precedence, taking two variables as arguments.

precedes(FirstOrderVariable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Return the formula that says this variable precedes that variable.

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

A class representing a predicate.

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

Initialize a new predicate, with a given label.

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

A class representing the atomic formula which says one node properly dominates another.

ProperDominance(FirstOrderVariable, FirstOrderVariable) - Constructor for class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Initialize a new proper dominance, taking two variables as arguments.

properlyDominates(FirstOrderVariable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable

Return the formula that says this variable immediately dominates that variable.