|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use argutia.logic.resolution | |
---|---|
argutia.logic.resolution |
Classes in argutia.logic.resolution used by argutia.logic.resolution | |
---|---|
Contexte
|
|
Maillon
|
|
Maillon.Etat
Un maillon est par défaut à l'état INCONNU. |
|
MaillonClause
|
|
MaillonData
|
|
MaillonLitteral
|
|
Resolution.Etat
Un contexte est SATISFIABLE lorsqu'une affectation des littéraux des clauses a été trouvée, INSATISFIABLE sinon. |
|
Resolution.EtatApresSimplification
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||