|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree
public class BinaryTree
Binary trees are the trees to which sentences will be converted and which will be the input for automata to check. There are node labels, but no edge labels. Binary trees are built bottom-up: first construct leaves, and add those to new nodes.
Nested Class Summary | |
---|---|
static class |
BinaryTree.BinaryNode
A node in a binary tree. |
Constructor Summary | |
---|---|
BinaryTree(BinaryTree.BinaryNode root,
String id,
String sentence)
Initialize a new BinaryTree, taking the given node as root. |
Method Summary | |
---|---|
String |
getId()
Get the id of the linguistic tree this binary tree derives from. |
BinaryTree.BinaryNode |
getRoot()
Get the root of this tree. |
String |
getSentence()
Get the sentence this tree represents. |
String |
toString()
Get a string representation of this node. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public BinaryTree(BinaryTree.BinaryNode root, String id, String sentence)
root
- The node to serve as root.id
- The id of the tree.sentence
- The sentence this tree is associated with.Method Detail |
---|
public BinaryTree.BinaryNode getRoot()
public String getId()
public String getSentence()
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |