|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
DefaultAtom | An object of this class represents a text string. |
DefaultElementList | Every Operator must inherit from this class. |
ElementSet | This class represents a set of Element s. |
An element is either a list or an atom. Each list has an operator and contains elements which are also 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 are value objects for formulas and terms.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |