|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| Term | |
| Variable | The term graph; that is, term tree with possibly shared nodes. |
| Class Summary | |
|---|---|
| NonVariableTerm | |
| Taylor | Let f be a k-ary operation symbol. |
| VariableImp | The term graph; that is, term tree with possibly shared nodes. |
This package is for terms and their interpretations.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||