| 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 | Description |
|---|---|
ReadTree(java.io.PushbackReader input) |
read tree from input stream
|
ReadTree(java.lang.String file) |
read tree from file
|