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

Packages that use Conjunction

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

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

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

protected void

MonaFormulaBuilder.visit(Conjunction form) Visit a conjunction.

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

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

static Conjunction	Formulas.and(Formula... forms) Return the conjunction of the given formula with that formula.
Conjunction	Formula.and(Formula that) Return the conjunction of this formula with that formula.
Conjunction	FormulaImpl.and(Formula that) Return the conjunction of this formula with that formula.
Conjunction	Equivalence.getEquivalentFormula() Returns a formula which is equivalent to this equivalence: (first -> second) & (second -> first).
Conjunction	Equivalence.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.
Conjunction	Conjunction.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.

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

protected abstract void

FormulaVisitor.visit(Conjunction form) Visit a conjunction.