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

Packages that use FirstOrderExistentialQuantification

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

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

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

protected void

MonaFormulaBuilder.visit(FirstOrderExistentialQuantification form) Visit an existential quantification.

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

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

FirstOrderExistentialQuantification	Formula.exists(FirstOrderVariable var) Return the existential quantification of this formula over the given first order variable.
FirstOrderExistentialQuantification	FormulaImpl.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.

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

protected abstract void

FormulaVisitor.visit(FirstOrderExistentialQuantification form) Visit an existential quantification.