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

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

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

FirstOrderExistentialQuantification	FormulaImpl.exists(FirstOrderVariable var) Return the existential quantification of this formula over the given first order variable.
FirstOrderExistentialQuantification	Formula.exists(FirstOrderVariable var) Return the existential quantification of this formula over the given first order variable.
static FirstOrderExistentialQuantification	Formulas.exists(FirstOrderVariable var, Formula form) Return the existential quantification of the given formula over the given first order variable.
FirstOrderExistentialQuantification	FirstOrderVariable.exists(Formula form) Returns the existential quantification of the given formula over this variable.
FirstOrderExistentialQuantification	FirstOrderExistentialQuantification.getNormalForm() Get a normal form with only conjunction, disjunction, negation and existential quantification.