|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| Client | |
| Computation.TaskIF | |
| Class Summary | |
|---|---|
| Computation | |
| ComputationFactory | |
| EnumTerm | This class provides an enumerator of the maximal operation-rooted subterms of a term. |
| Queue | Queue of the computations in the narrowing space. |
| Space | This class abstracts the narrowing space of a term. |
| Exception Summary |
|---|
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||