|
![]() |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
Class Summary | |
---|---|
Contexte | |
Maillon<T> | |
MaillonClause | |
MaillonData | |
MaillonLitteral | |
Resolution |
Enum Summary | |
---|---|
Maillon.Etat | Un maillon est par défaut à l'état INCONNU. |
Resolution.Etat | Un contexte est SATISFIABLE lorsqu'une affectation des littéraux des clauses a été trouvée, INSATISFIABLE sinon. |
Resolution.EtatApresSimplification |
|
![]() |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||