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).
|
Modifier and Type | Method | Description |
---|---|---|
TreeIterator |
TreeManipulator.getEveryRootIterator() |
|
static TreeIterator |
TreeManipulator.getEveryRootIterator(Tree base) |
Obtains every rooting of a base tree
|