Uses of Class
argutia.logic.syntax.node.CNFNode.Couple

Packages that use CNFNode.Couple
argutia.logic.syntax.node   
 

Uses of CNFNode.Couple in argutia.logic.syntax.node
 

Methods in argutia.logic.syntax.node that return CNFNode.Couple
private CNFNode.Couple CNFNode.getLitterauxDeOuArbre(CNFNode arbre)
           
 

Methods in argutia.logic.syntax.node with parameters of type CNFNode.Couple
private boolean CNFNode.isTautologie(CNFNode.Couple l1, CNFNode.Couple l2)
           
 
Argutia JavaDoc
23 décembre 2007