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

Packages that use Disjunction

de.uni_tuebingen.sfb.lichtenstein.binarytrees
de.uni_tuebingen.sfb.lichtenstein.formulas

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

Methods in de.uni_tuebingen.sfb.lichtenstein.binarytrees with parameters of type Disjunction

protected void

MonaFormulaBuilder.visit(Disjunction form) Visit a disjunction.

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

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

Disjunction	Implication.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.
Disjunction	Disjunction.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	Formula.or(Formula that) Return the disjunction of this formula with that formula.
Disjunction	FormulaImpl.or(Formula that) Return the disjunction of this formula with that formula.

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type Disjunction

protected abstract void

FormulaVisitor.visit(Disjunction form) Visit a disjunction.