argutia.logic.syntax.node
Class CNFNode

java.lang.Object
  extended by argutia.logic.syntax.node.Node
      extended by argutia.logic.syntax.node.CNFNode
All Implemented Interfaces:
AffichableAvecStyle
@Immutable
public class CNFNode
extends Node
Nested Class Summary
private static class CNFNode.Couple
           
 
Field Summary
 
Fields inherited from class argutia.logic.syntax.node.Node
content, filsD, filsG
 
Constructor Summary
private CNFNode(Node n)
           
  CNFNode(SyntacticUnit contents, CNFNode filsG, CNFNode filsD)
           
 
Method Summary
 CNFNode getFilsD()
           
 CNFNode getFilsG()
           
private CNFNode.Couple getLitterauxDeOuArbre(CNFNode arbre)
           
private boolean isTautologie(CNFNode.Couple l1, CNFNode.Couple l2)
           
private boolean optimiserReecrireConjonctions(CNFNode a, CNFNode b, CNFNode c)
           
private void reecrireConjonctions(CNFNode pere)
           
private void reecrireImplications()
           
private void reecrireNegations()
           
static CNFNode toCNF(Node arbre)
           
 
Methods inherited from class argutia.logic.syntax.node.Node
getContents, toString, toStyledString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Constructor Detail

CNFNode

private CNFNode(Node n)
         throws IllegalArgumentException
Throws:
IllegalArgumentException

CNFNode

public CNFNode(SyntacticUnit contents,
               CNFNode filsG,
               CNFNode filsD)
        throws IllegalArgumentException
Throws:
IllegalArgumentException
Method Detail

toCNF

public static CNFNode toCNF(Node arbre)

getFilsD

public CNFNode getFilsD()
Overrides:
getFilsD in class Node

getFilsG

public CNFNode getFilsG()
Overrides:
getFilsG in class Node

getLitterauxDeOuArbre

private CNFNode.Couple getLitterauxDeOuArbre(CNFNode arbre)

isTautologie

private boolean isTautologie(CNFNode.Couple l1,
                             CNFNode.Couple l2)

optimiserReecrireConjonctions

private boolean optimiserReecrireConjonctions(CNFNode a,
                                              CNFNode b,
                                              CNFNode c)

reecrireConjonctions

private void reecrireConjonctions(CNFNode pere)

reecrireImplications

private void reecrireImplications()

reecrireNegations

private void reecrireNegations()
Argutia JavaDoc
23 décembre 2007