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

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

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

Implication	FormulaImpl.implies(Formula that) Return the implication of this formula with that formula.
Implication	Formula.implies(Formula that) Return the implication of this formula with that formula.
static Implication	Formulas.implies(Formula first, Formula second) Return the implication of the first formula with the second formula.