Package argutia.logic.resolution

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  
 

Argutia JavaDoc
23 décembre 2007