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.

Subclass-Of: Object-constraint

---

Slots on instances of this class:

Constraint.Expression:

Slot-Cardinality: 1

Slot-Value-Type: Vt-constraint-sentence