|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| TheoryAbstractType | This class provides a skeletal implementation of terms When implementing the interface shared.SharedObjectWithID, the objects are immutable and can be compared in constant time, using ==. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||