Class VT-CONSTRAINT

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

Slots on this class:

Documentation:

All VT constraints have a restricted form, specified by vt-constraint-sentence.

Instance-Of: Class

Subclass-Of: Object-constraint

---

Slots on instances of this class:

Constraint.Expression:

Slot-Cardinality: 1

Slot-Value-Type: Vt-constraint-sentence, Constraint-expression, Sentence-with-one-variable

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Vt-Component
                       Has-Constraint
                       Vt-Constraint)

(=> (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)))