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

Packages that use Implication

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

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

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

protected void

MonaFormulaBuilder.visit(Implication form) Visit an implication.

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

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

Implication	Formula.implies(Formula that) Return the implication of this formula with that formula.
Implication	FormulaImpl.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.

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

protected abstract void

FormulaVisitor.visit(Implication form) Visit an implication.