|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||