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

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

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

SecondOrderExistentialQuantification	SecondOrderVariable.exists(Formula form) Returns the existential quantification of the given formula over this variable.
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.
SecondOrderExistentialQuantification	SecondOrderExistentialQuantification.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.