Theory DME-CML

• Last modified: Friday, 16 September 1994
• Source code: dme-cml.lisp
• List of all known theories

Theory documentation:

Extensions to the base CML theory for DME.

Cross Reference Report:

Theories included by Dme-Cml:

  Cml
  Component-Assemblies

Theories that include Dme-Cml:

  Thermal-System

5 classes defined:

    Operating-Mode-Model
    Structural-Element-Model
       Junction
       System-Model
       Terminal

2 relations defined:

  All=
  Connected-Terminals

No functions defined.

No instances defined.

5 classes defined:

  Junction
  Operating-Mode-Model
  Structural-Element-Model
  System-Model
  Terminal

All constants that were mentioned were defined.