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

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

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

FirstOrderUniversalQuantification	FormulaImpl.forAll(FirstOrderVariable var) Return the universal quantification of this formula over the given variable.
FirstOrderUniversalQuantification	Formula.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.