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

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

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

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