Uses of Interface
argutia.logic.Atom

Packages that use Atom
argutia.logic   
argutia.logic.syntax.node   
 

Uses of Atom in argutia.logic
 

Classes in argutia.logic that implement Atom
 class PropositionalVariable
          En logique propositionnelle, une variable propositionnelle représente une proposition, c'est-à-dire une entité ayant pour valeurs possibles vrai ou faux.
 class TruthSymbol
          Un symbole de vérité est soit la tautologie, soit la contradiction, formules atomiques respectivement interprétées à vrai et faux dans tous les cas.
 

Uses of Atom in argutia.logic.syntax.node
 

Fields in argutia.logic.syntax.node with type parameters of type Atom
 List<Atom> CNFNode.Couple.negatifs
           
 List<Atom> CNFNode.Couple.positifs
           
 

Constructor parameters in argutia.logic.syntax.node with type arguments of type Atom
CNFNode.Couple(List<Atom> positifs, List<Atom> negatifs)
           
CNFNode.Couple(List<Atom> positifs, List<Atom> negatifs)
           
 
Argutia JavaDoc
23 décembre 2007