Uses of Class
de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction

Uses of Disjunction in de.uni_tuebingen.sfb.lichtenstein.formulas

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return Disjunction

Disjunction	Disjunction.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.
Disjunction	Implication.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.
static Disjunction	Formulas.or(Formula... forms) Return the disjunction of the given formula with second formula.
Disjunction	FormulaImpl.or(Formula that) Return the disjunction of this formula with that formula.
Disjunction	Formula.or(Formula that) Return the disjunction of this formula with that formula.