Class COST-QUANTITY

• Defined in theory: Vt-design
• Source code: vt-design.lisp

Slots on this class:

Documentation:

A scalar quantity of the physical dimension 'currency'. By use of the standard-dimensions theory, costs can be stated in a variety of known currencies, and translation can be accomodated.

Instance-Of: Class

Subclass-Of: Scalar-quantity

Range-Of: Component.cost

---

Slots on instances of this class:

Quantity.Dimension: Currency-dimension

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Vt-Component
                       Component.Cost
                       Cost-Quantity)

(=> (Vt-Component ?Component)
    (And (Value-Type ?Component Has-Constraint Vt-Constraint)
         (Has-Parameter-Slot ?Component Component.Cost)
         (Value-Type ?Component Component.Cost Cost-Quantity)
         (Value-Cardinality ?Component Component.Cost 1)))

(=> (Component.Cost $X $Y) (Cost-Quantity $Y))

(<= (Quantity.Dimension $X Currency-Dimension) (Cost-Quantity $X))

(=> (Cost-Quantity ?Q)
    (= (Quantity.Dimension ?Q) Currency-Dimension))