<> <> <> DIRECTORY MathExpr USING [AtomClass, CompoundClass, MatrixClass]; MathDB: CEDAR DEFINITIONS ~ BEGIN <> AtomClass: TYPE ~ MathExpr.AtomClass; CompoundClass: TYPE ~ MathExpr.CompoundClass; MatrixClass: TYPE ~ MathExpr.MatrixClass; <> AtomClassNames: READONLY LIST OF ATOM; CompoundClassNames: READONLY LIST OF ATOM; MatrixClassNames: READONLY LIST OF ATOM; <> <<>> ResetAtomClasses: PROC[]; <> ResetCompoundClasses: PROC[]; <> <<>> ResetMatrixClasses: PROC[]; <> InstallAtomClass: PROC[class: AtomClass]; <> InstallCompoundClass: PROC[class: CompoundClass]; <> <<>> InstallMatrixClass: PROC[class: MatrixClass]; <> <<>> LookupAtomClass: PROC[name: ATOM] RETURNS[AtomClass]; <> << SIGNALS notFound if no association exists>> LookupCompoundClass: PROC[name: ATOM] RETURNS[CompoundClass]; <> << SIGNALS notFound if no association exists>> <<>> LookupMatrixClass: PROC[name: ATOM] RETURNS[MatrixClass]; <> << SIGNALS notFound if no association exists>> <<>> <> notFound: ERROR; END.