|
Hilbert II - Version 0.03.04 | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
Atom | Element atom. |
Element | An element is either a list or an atom. |
ElementList | Every Operator must implement this interface. |
Descriptions of element list functionalites. An element is either a list or an atom.
Each list has an operator and contains a number of elements. A list has a size and their elements can be accessed by their position. An atom carries textual data, has no operator and no size in the previous sense.
Elements can represent formulas and terms.
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |