Class VT-CONSTANT

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

Slots on this class:

Documentation:

A VT-constant is a constant (i.e., not a variable) that denotes a VT-component, or valid value for a VT parameter-slot.

Instance-Of: Class

Subclass-Of: Constant

---

Slots on instances of this class:

Denotation:

Slot-Cardinality: 1

Slot-Value-Type: Value-allowed-for-vt-term

Equivalence Axioms:

(<=> (Vt-Constant ?Constant)
     (And (Constant ?Constant)
          (Value-Type ?Constant Denotation Value-Allowed-For-Vt-Term)
          (Value-Cardinality ?Constant Denotation 1)))

Axioms:

(Constant ?Constant)

Other Related Axioms:

(<=> (Vt-Constant ?Constant)
     (And (Constant ?Constant)
          (Value-Type ?Constant Denotation Value-Allowed-For-Vt-Term)
          (Value-Cardinality ?Constant Denotation 1)))