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

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

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

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

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

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return Conjunction
static Conjunction Formulas.and(Formula... forms)
          Return the conjunction of the given formula with that formula.
 Conjunction Formula.and(Formula that)
          Return the conjunction of this formula with that formula.
 Conjunction FormulaImpl.and(Formula that)
          Return the conjunction of this formula with that formula.
 Conjunction Equivalence.getEquivalentFormula()
          Returns a formula which is equivalent to this equivalence: (first -> second) & (second -> first).
 Conjunction Equivalence.getNormalForm()
          Get a normal form with only conjunction, disjunction, negation and existential quantification.
 Conjunction Conjunction.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 Conjunction
protected abstract  void FormulaVisitor.visit(Conjunction form)
          Visit a conjunction.
 



© Copyright 2008 Hendrik Maryns   Creative Commons License