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

D

de.uni_tuebingen.sfb.lichtenstein.formulas - package de.uni_tuebingen.sfb.lichtenstein.formulas

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

A class representing the disjunction of formulas.

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

Initialize a new disjunction, taking formulas as disjuncts.

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

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

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

Initialize a new dominance, taking two variables as arguments.

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

Return the formula that says this variable dominates that variable.