Class TERMINAL

• Defined in theory: Dme-cml
• Source code: dme-cml.lisp

Slots on this class:

Documentation:

a terminal of any type for connecting components

Instance-Of: Class

Subclass-Of: Structural-element-model

Range-Of: Connected-terminals

Other Related Axioms:

(=> (Connected-Terminals $X $Y) (Terminal $Y))