|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectargutia.logic.syntax.node.Node
argutia.logic.syntax.node.CNFNode
@Immutable public class CNFNode
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 |
---|
private CNFNode(Node n) throws IllegalArgumentException
IllegalArgumentException
public CNFNode(SyntacticUnit contents, CNFNode filsG, CNFNode filsD) throws IllegalArgumentException
IllegalArgumentException
Method Detail |
---|
public static CNFNode toCNF(Node arbre)
public CNFNode getFilsD()
getFilsD
in class Node
public CNFNode getFilsG()
getFilsG
in class Node
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()
|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |