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

Packages that use ImmediateDominance

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

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

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

protected void

MonaFormulaBuilder.visit(ImmediateDominance form) Visit an immediate dominance atomic formula.

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

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

ImmediateDominance

FirstOrderVariable.immediatelyDominates(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 ImmediateDominance

protected abstract void

FormulaVisitor.visit(ImmediateDominance form) Visit an immediate dominance atomic formula.