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

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

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

Subclasses of AtomicFormula in de.uni_tuebingen.sfb.lichtenstein.formulas
 class Dominance
          A class representing the atomic formula which says one node dominates another.
 class FirstOrderEquality
          A class representing the atomic formula that says two first order variables are equal.
 class ImmediateDominance
          A class representing the atomic formula which says one node immediately dominates another.
 class ImmediatePrecedence
          A class representing the atomic formula which says one node immediately precedes another.
 class Inclusion
          A class representing inclusion of a first order variable in a set denotator.
 class Precedence
          A class representing the atomic formula which says one node precedes another.
 class ProperDominance
          A class representing the atomic formula which says one node properly dominates another.
 class SecondOrderEquality
          A class representing the atomic formula that says two variables are equal.
 class Subset
          A class for representing the atomic formula which says a variable is a subset of another variable
 

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return AtomicFormula
 AtomicFormula AtomicFormula.getNormalForm()
          Get a normal form with only conjunction, disjunction, negation and existential quantification.
 



© Copyright 2008 Hendrik Maryns   Creative Commons License