|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use SyntaxNode | |
---|---|
argutia.logic.syntax | |
argutia.logic.syntax.node |
Uses of SyntaxNode in argutia.logic.syntax |
---|
Fields in argutia.logic.syntax with type parameters of type SyntaxNode | |
---|---|
private List<SyntaxNode> |
Decomposition.contents
|
Methods in argutia.logic.syntax that return types with arguments of type SyntaxNode | |
---|---|
UnmodifiableListIterator<SyntaxNode> |
Decomposition.iterator()
|
Method parameters in argutia.logic.syntax with type arguments of type SyntaxNode | |
---|---|
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 SyntaxNode in argutia.logic.syntax.node |
---|
Methods in argutia.logic.syntax.node that return SyntaxNode | |
---|---|
SyntaxNode |
SyntaxNode.setFilsD(Node n)
|
SyntaxNode |
SyntaxNode.setFilsG(Node n)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||