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

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

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

SecondOrderVariable

SecondOrderQuantor.getBoundVariable() Returns the variable that is bound by this quantor.

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

SecondOrderExistentialQuantification	FormulaImpl.exists(SecondOrderVariable var) Return the existential quantification of this formula over the given first order variable.
SecondOrderExistentialQuantification	Formula.exists(SecondOrderVariable var) Return the existential quantification of this formula over the given first order variable.
static SecondOrderExistentialQuantification	Formulas.exists(SecondOrderVariable var, Formula form) Return the existential quantification of the given formula over the given first order 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.

Constructors in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type SecondOrderVariable

SecondOrderExistentialQuantification(SecondOrderVariable var, Formula arg)
Initialize a new existential quantor, given a variable to bind and a formula to act upon.

SecondOrderUniversalQuantification(SecondOrderVariable var, Formula arg)
Initialize a new universal quantor, given a variable to bind and a formula to act upon.