Class COMPONENT-CLASS

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

Slots on this class:

Documentation:

The meta class of component classes.

Instance-Of: Class

Range-Of: Optimal-component

---

Slots on instances of this class:

Subclass-Of: Component

Equivalence Axioms:

(<=> (Component-Class ?C) (Subclass-Of ?C Component))

Other Related Axioms:

(<= (Subclass-Of $X Component) (Component-Class $X))

(<=> (Component-Class ?C) (Subclass-Of ?C Component))

(=> (Optimal-Component $X $Y) (Component-Class $Y))

(<=> (Optimal-Component ?Comp ?Component-Class)
     (And (Component ?Comp)
          (Component-Class ?Component-Class)
          (Instance-Of ?Comp ?Component-Class)
          (=> (Instance-Of ?Other-Component ?Component-Class)
              (=< (Component.Cost ?Comp)
                  (Component.Cost ?Other-Component)))))

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