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

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
           
 
Argutia JavaDoc
23 décembre 2007