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

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

Uses of CNFNode in argutia.logic
 

Fields in argutia.logic declared as CNFNode
private CNFNode Clause.arbre
           
private CNFNode Formula.arbreCNF
           
 

Methods in argutia.logic that return CNFNode
 CNFNode Formula.getCNF()
           
 

Methods in argutia.logic with parameters of type CNFNode
private void Clause.add(CNFNode n)
           
private void Formula.extraireClausesDistinctes(CNFNode arbre)
           
 

Constructors in argutia.logic with parameters of type CNFNode
Clause(CNFNode arbreCNF)
           
 

Uses of CNFNode in argutia.logic.sets
 

Fields in argutia.logic.sets declared as CNFNode
private CNFNode MutableSetOfFormulas.arbreCNF
           
 

Methods in argutia.logic.sets that return CNFNode
 CNFNode SetOfFormulas.getCNF()
           
 CNFNode MutableSetOfFormulas.getCNF()
           
 CNFNode ISetOfFormulas.getCNF()
           
 

Uses of CNFNode in argutia.logic.syntax.node
 

Methods in argutia.logic.syntax.node that return CNFNode
 CNFNode CNFNode.getFilsD()
           
 CNFNode CNFNode.getFilsG()
           
static CNFNode CNFNode.toCNF(Node arbre)
           
 

Methods in argutia.logic.syntax.node with parameters of type CNFNode
private CNFNode.Couple CNFNode.getLitterauxDeOuArbre(CNFNode arbre)
           
private boolean CNFNode.optimiserReecrireConjonctions(CNFNode a, CNFNode b, CNFNode c)
           
private void CNFNode.reecrireConjonctions(CNFNode pere)
           
 

Constructors in argutia.logic.syntax.node with parameters of type CNFNode
CNFNode(SyntacticUnit contents, CNFNode filsG, CNFNode filsD)
           
 
Argutia JavaDoc
23 décembre 2007