Uses of Class
argutia.logic.resolution.MaillonClause

Packages that use MaillonClause
argutia.logic.resolution   
 

Uses of MaillonClause in argutia.logic.resolution
 

Fields in argutia.logic.resolution declared as MaillonClause
private MaillonClause MaillonData.mC
           
 

Fields in argutia.logic.resolution with type parameters of type MaillonClause
protected LinkedList<MaillonClause> MaillonLitteral.mC_inconnus_contenant_mL_oppose
           
protected LinkedList<MaillonClause> MaillonLitteral.mC_passes_a_satisfait
          Maillons clause à l'état INCONNU passés à l'état SATISFAIT suite à la mise à l'état SATISFAIT du maillon littéral.
protected static Map<Clause,MaillonClause> MaillonClause.mC_pool
           
 Map<Clause,MaillonClause> Contexte.mC_values
           
 

Methods in argutia.logic.resolution that return MaillonClause
static MaillonClause MaillonClause.getInstance(Contexte contexte, Clause c)
           
 MaillonClause MaillonData.getMC()
           
 

Constructors in argutia.logic.resolution with parameters of type MaillonClause
MaillonData(MaillonLitteral mL, MaillonClause mC)
           
 
Argutia JavaDoc
23 décembre 2007