|
Hilbert II - Version 0.01.09 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
Wraps a formula or a term. Such an object is build out of
Elements.
| Method Summary | |
Element |
getElement()
Get formula or term. |
| Method Detail |
public Element getElement()
|
Hilbert II - Version 0.01.09 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |