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

Packages that use SecondOrderUniversalQuantification

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

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

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

protected void

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

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	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.

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

protected abstract void

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