Uses of Class
argutia.logic.resolution.MaillonData

Packages that use MaillonData
argutia.logic.resolution   
 

Uses of MaillonData in argutia.logic.resolution
 

Fields in argutia.logic.resolution declared as MaillonData
protected MaillonData Maillon.contents
          Tête de la liste chaînée représentant le content du maillon.
private MaillonData MaillonData.nextC
           
private MaillonData MaillonData.nextL
           
protected MaillonData MaillonClause.premier_mL_inconnu
          Mis à jour uniquement dans MaillonClause.addMLDansClausesUnitaires(MaillonLitteral).
 

Methods in argutia.logic.resolution that return MaillonData
 MaillonData MaillonLitteral.add(MaillonData mD)
           
 MaillonData Maillon.add(MaillonData mD)
          Ajoute un maillon contexte (créé par l'ajout d'une clause) en tête de liste.
 MaillonData Maillon.getContenu()
           
 MaillonData MaillonData.getNextC()
           
 MaillonData MaillonData.getNextL()
           
 

Methods in argutia.logic.resolution with parameters of type MaillonData
 MaillonData MaillonLitteral.add(MaillonData mD)
           
 MaillonData Maillon.add(MaillonData mD)
          Ajoute un maillon contexte (créé par l'ajout d'une clause) en tête de liste.
 
Argutia JavaDoc
23 décembre 2007