Class STANDARD-QUANTITY

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this class:

Documentation:

A STANDARD-QUANTITY is everywhere continuous, has a piecewise continuous derivative, and a dimension. Quantities in QPT and QPC are standard-quantities. In QSIM, the derivatives are continuous as well within a behavior.

Instance-Of: Class

Subclass-Of: Everywhere-continuous-quantity

---

Slots on instances of this class:

D/Dt:

Slot-Cardinality: 1

Slot-Value-Type: Piecewise-continuous-quantity

Equivalence Axioms:

(<=> (Standard-Quantity ?X)
     (And (Everywhere-Continuous-Quantity ?X)
          (Value-Type ?X D/Dt Piecewise-Continuous-Quantity)
          (Value-Cardinality ?X D/Dt 1)))

Axioms:

(Everywhere-Continuous-Quantity ?X)

Other Related Axioms:

(<=> (Standard-Quantity ?X)
     (And (Everywhere-Continuous-Quantity ?X)
          (Value-Type ?X D/Dt Piecewise-Continuous-Quantity)
          (Value-Cardinality ?X D/Dt 1)))