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

Packages that use Dominance

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

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

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

protected void

MonaFormulaBuilder.visit(Dominance form) Visit a dominance atomic formula.

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

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

Dominance

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

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

protected abstract void

FormulaVisitor.visit(Dominance form) Visit a dominance atomic formula.