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

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

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

Equivalence	FormulaImpl.iff(Formula that) Return the equivalence of this formula with that formula.
Equivalence	Formula.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.