Package | Description |
---|---|
pal.tree |
Classes for providing the data structure of
trees, for constructing and modifying trees, and for parameterizing
trees (e.g., clock constraint).
|
Constructor and Description |
---|
ReadTree(java.io.PushbackReader input)
read tree from input stream
|
ReadTree(java.lang.String file)
read tree from file
|