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

Packages that use ProperDominance

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

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

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

protected void

MonaFormulaBuilder.visit(ProperDominance form) Visit a proper dominance atomic formula.

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

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

ProperDominance

FirstOrderVariable.properlyDominates(FirstOrderVariable that) Return the formula that says this variable immediately dominates that variable.

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

protected abstract void

FormulaVisitor.visit(ProperDominance form) Visit a proper dominance atomic formula.