|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use Node | |
---|---|
argutia.logic | |
argutia.logic.syntax | |
argutia.logic.syntax.node | |
test.argutia.logic.syntax.node |
Uses of Node in argutia.logic |
---|
Fields in argutia.logic declared as Node | |
---|---|
private Node |
Formula.arbreBrut
|
Constructors in argutia.logic with parameters of type Node | |
---|---|
Formula(Node arbre)
|
|
Formula(Node arbre,
Formula negation)
|
Uses of Node in argutia.logic.syntax |
---|
Methods in argutia.logic.syntax that return Node | |
---|---|
private static Node |
Syntax.getAtome(UnmodifiableListIterator<SyntaxNode> i)
|
private static Node |
Syntax.getConjonction(UnmodifiableListIterator<SyntaxNode> i)
|
private static Node |
Syntax.getDisjonction(UnmodifiableListIterator<SyntaxNode> i)
|
private static Node |
Syntax.getFormule(UnmodifiableListIterator<SyntaxNode> i)
|
private static Node |
Syntax.getLitteral(UnmodifiableListIterator<SyntaxNode> i)
|
Uses of Node in argutia.logic.syntax.node |
---|
Subclasses of Node in argutia.logic.syntax.node | |
---|---|
class |
CNFNode
|
class |
SyntaxNode
|
Fields in argutia.logic.syntax.node declared as Node | |
---|---|
protected Node |
Node.filsD
|
protected Node |
Node.filsG
|
Methods in argutia.logic.syntax.node that return Node | |
---|---|
Node |
Node.getFilsD()
|
Node |
Node.getFilsG()
|
Methods in argutia.logic.syntax.node with parameters of type Node | |
---|---|
SyntaxNode |
SyntaxNode.setFilsD(Node n)
|
SyntaxNode |
SyntaxNode.setFilsG(Node n)
|
static CNFNode |
CNFNode.toCNF(Node arbre)
|
private String |
Node.toString(Node pere)
|
private void |
Node.toStyledString(BatchStyledDocument doc,
Node pere)
|
Constructors in argutia.logic.syntax.node with parameters of type Node | |
---|---|
CNFNode(Node n)
|
|
Node(SyntacticUnit contents,
Node filsG,
Node filsD)
|
Uses of Node in test.argutia.logic.syntax.node |
---|
Fields in test.argutia.logic.syntax.node declared as Node | |
---|---|
private Node |
NodeTest.n
|
private Node |
NodeTest.nd
|
private Node |
NodeTest.ndd
|
private Node |
NodeTest.ng
|
private Node |
NodeTest.ngg
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||