|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| ConstructedTerm | Simple implementation of the IConstructedTerm. |
| StringTerm | Simple implementation of the IStringTerm. |
| TermFactory | |
| Variable | Simple implementation of the IVariable. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||