Uses of Interface
de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification

Packages that use Quantification
de.uni_tuebingen.sfb.lichtenstein.formulas   
 

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

Classes in de.uni_tuebingen.sfb.lichtenstein.formulas that implement Quantification
 class FirstOrderExistentialQuantification
          A class representing the existential quantification of a formula over a first order variable.
 class FirstOrderQuantor
          A class for representing quantors on first order variables, implementing common methods for existential and universal quantors.
 class FirstOrderUniversalQuantification
          A class representing universal quantification of a formula over a first order variable.
 class SecondOrderExistentialQuantification
          A class representing the existential quantification of a formula over a second order variable.
 class SecondOrderQuantor
          A class for representing quantors on second order variables, implementing common methods for existential and universal quantors.
 class SecondOrderUniversalQuantification
          A class representing universal quantification of a formula over a second order variable.
 



© Copyright 2008 Hendrik Maryns   Creative Commons License