Modules
Parses mathematical expressions
A db of formulas and there properties
Represents matches in algebraic expretions
A node in the expretion tree, used as superclass only
Represents one number in a parsed expression tree
Represents one operation in the parsed expression tree
A db of basic opperands properties
Represents a agebraic rule
A db of basic type and there properties
Represents one variable in a parsed expression tree
Represents a set of variables and there values