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

Packages that use FirstOrderQuantor

de.uni_tuebingen.sfb.lichtenstein.formulas

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

Subclasses of FirstOrderQuantor in de.uni_tuebingen.sfb.lichtenstein.formulas

class	FirstOrderExistentialQuantification A class representing the existential quantification of a formula over a first order variable.
class	FirstOrderUniversalQuantification A class representing universal quantification of a formula over a first order variable.