Class VT-COMPONENT

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

Slots on this class:

Documentation:

A VT component is just a component as defined by the configuration-design ontology, except that we define a slot for the cost.

Instance-Of: Class

Subclass-Of: Component

---

Slots on instances of this class:

Component.Cost:

Slot-Cardinality: 1

Slot-Value-Type: Cost-quantity

Has-Constraint:

Slot-Value-Type: Vt-constraint

Has-Parameter-Slot: Component.cost

Other Related Axioms:

(<= (Has-Parameter-Slot $X Component.Cost) (Vt-Component $X))

(Or (Number ?Value)
    (String ?Value)
    (Vt-Component ?Value)
    (Component-Class ?Value))

(<=> (Value-Allowed-For-Vt-Term ?Value)
     (Or (Number ?Value)
         (String ?Value)
         (Vt-Component ?Value)
         (Component-Class ?Value)))

Notes:

• Why not include the sum of subparts in the cost metric?

  That assumes linear combination function for cost, which is a domain specific assumption.