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

Packages that use Precedence

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

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

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

protected void

MonaFormulaBuilder.visit(Precedence form) Visit a precedence atomic formula.

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

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

Precedence

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

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

protected abstract void

FormulaVisitor.visit(Precedence form) Visit a precedence atomic formula.