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

O

or(Formula) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Return the disjunction of this formula with that formula.

or(Formula) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl

Return the disjunction of this formula with that formula.

or(Formula...) - Static method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Formulas

Return the disjunction of the given formula with second formula.