|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||