|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of AbstractTool.OperationTermPair in toolbus |
---|
Methods in toolbus that return AbstractTool.OperationTermPair | |
---|---|
AbstractTool.OperationTermPair |
AbstractTool.readTerm()
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |