Uses of Interface
argutia.logic.Literal

Packages that use Literal
argutia.logic   
argutia.logic.resolution   
 

Uses of Literal in argutia.logic
 

Subinterfaces of Literal in argutia.logic
 interface Atom
          Un atome, ou formule atomique, est un symbole de vérité ou une variable propositionnelle.
 

Classes in argutia.logic that implement Literal
 class NegativeLiteral
           
 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.
 

Fields in argutia.logic with type parameters of type Literal
private Set<Literal> Clause.contenu
           
 

Methods in argutia.logic that return Literal
 Literal Literal.getOppose()
           
 

Methods in argutia.logic that return types with arguments of type Literal
 UnmodifiableIterator<Literal> Clause.iterator()
           
 

Methods in argutia.logic with parameters of type Literal
private void Clause.add(Literal l)
           
 

Uses of Literal in argutia.logic.resolution
 

Fields in argutia.logic.resolution with type parameters of type Literal
protected static Map<Literal,MaillonLitteral> MaillonLitteral.mL_pool
           
 Map<Literal,MaillonLitteral> Contexte.mL_values
           
 

Methods in argutia.logic.resolution with parameters of type Literal
static MaillonLitteral MaillonLitteral.getInstance(Contexte data, Literal l)
           
 

Constructors in argutia.logic.resolution with parameters of type Literal
MaillonLitteral(Contexte contexte, Literal l)
          Construit un maillon littéral d'étiquette l, ainsi que le maillon littéral opposé.
MaillonLitteral(Contexte contexte, Literal l, MaillonLitteral oppose)
          Construit un maillon littéral d'etiquette l et d'opposé oppose.
 
Argutia JavaDoc
23 décembre 2007