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

Packages that use SecondOrderVariable

de.uni_tuebingen.sfb.lichtenstein.formulas
de.uni_tuebingen.sfb.lichtenstein.formulas.parsing

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.
static SecondOrderVariable	SecondOrderVariable.getInstance(String name) Factory method to get a variable.

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

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

SecondOrderQuantor(SecondOrderVariable var, Formula arg)
Initialize a new 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.

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

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

SecondOrderVariable

fsqParser.secondOrderVariable()