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

Packages that use FirstOrderUniversalQuantification

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

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

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

protected void

MonaFormulaBuilder.visit(FirstOrderUniversalQuantification form) Visit a universal quantification.

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

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

FirstOrderUniversalQuantification	Formula.forAll(FirstOrderVariable var) Return the universal quantification of this formula over the given variable.
FirstOrderUniversalQuantification	FormulaImpl.forAll(FirstOrderVariable var) Return the universal quantification of this formula over the given variable.
static FirstOrderUniversalQuantification	Formulas.forAll(FirstOrderVariable var, Formula form) Return the universal quantification of the given formula over the given variable.
FirstOrderUniversalQuantification	FirstOrderVariable.forAll(Formula form) Returns the universal quantification of the given formula over this variable.

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

protected abstract void

FormulaVisitor.visit(FirstOrderUniversalQuantification form) Visit a universal quantification.