Uses of Class
argutia.logic.resolution.Contexte

Packages that use Contexte
argutia.logic.resolution   
 

Uses of Contexte in argutia.logic.resolution
 

Fields in argutia.logic.resolution declared as Contexte
protected Contexte Resolution.contexte
           
private Contexte MaillonLitteral.contexte
           
private Contexte MaillonClause.contexte
           
 

Methods in argutia.logic.resolution with parameters of type Contexte
 void MaillonLitteral.clear(Contexte contexte)
           
 void MaillonClause.clear(Contexte contexte)
           
static MaillonClause MaillonClause.getInstance(Contexte contexte, Clause c)
           
static MaillonLitteral MaillonLitteral.getInstance(Contexte data, Literal l)
           
static void MaillonLitteral.memoriser(Contexte data)
           
static void MaillonClause.memoriser(Contexte contexte)
           
 

Constructors in argutia.logic.resolution with parameters of type Contexte
MaillonClause(Contexte contexte, Clause c)
           
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