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

Packages that use Equivalence

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

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

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

protected void

MonaFormulaBuilder.visit(Equivalence form) Visit an equivalence atomic formula.

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

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

Equivalence	Formula.iff(Formula that) Return the equivalence of this formula with that formula.
Equivalence	FormulaImpl.iff(Formula that) Return the equivalence of this formula with that formula.
static Equivalence	Formulas.iff(Formula first, Formula second) Return the equivalence of the given formula with that formula.

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

protected abstract void

FormulaVisitor.visit(Equivalence form) Visit an equivalence atomic formula.