|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Interface Summary | |
| InteractionListener | Notifier of interactions. |
| OperatorIterator | Operator iterator in a closed lambda-net. |
| WalkingContext | Context for walking in a lambda-net exactly like traversing the read-back tree. |
| Class Summary | |
| CloneUtils | Utilities about cloning a lambda-net. |
| NetTraversal | This is an iterator on the Operators belonging to a lambda-net. |
| NetUtils | Utilities about traversing a lambda-net. |
|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||