| 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
|