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

Packages that use FirstOrderUniversalQuantification
de.uni_tuebingen.sfb.lichtenstein.binarytrees   
de.uni_tuebingen.sfb.lichtenstein.formulas   
 

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

Methods in de.uni_tuebingen.sfb.lichtenstein.binarytrees with parameters of type FirstOrderUniversalQuantification
protected  void MonaFormulaBuilder.visit(FirstOrderUniversalQuantification form)
          Visit a universal quantification.
 

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

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return FirstOrderUniversalQuantification
 FirstOrderUniversalQuantification Formula.forAll(FirstOrderVariable var)
          Return the universal quantification of this formula over the given variable.
 FirstOrderUniversalQuantification FormulaImpl.forAll(FirstOrderVariable var)
          Return the universal quantification of this formula over the given variable.
static FirstOrderUniversalQuantification Formulas.forAll(FirstOrderVariable var, Formula form)
          Return the universal quantification of the given formula over the given variable.
 FirstOrderUniversalQuantification FirstOrderVariable.forAll(Formula form)
          Returns the universal quantification of the given formula over this variable.
 

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type FirstOrderUniversalQuantification
protected abstract  void FormulaVisitor.visit(FirstOrderUniversalQuantification form)
          Visit a universal quantification.
 



© Copyright 2008 Hendrik Maryns   Creative Commons License