||instance ||[Generic Function]|
Change the class of an instance to new-class.
Arguments and values
|instance|| A |
|new-class||A class designator|
|changed-instance|| A |
The destructively modified instance.
If instance is a unit instance, a
The following events may also be signaled:
The existing or supplied instance name of instance is identical to the instance name of an existing unit instance of new-class.
When new-class is a unit class, an instance-name conflict with an existing unit instance of new-class must be avoided. If the old class of instance and new-class are both unit classes that use the global instance-name counter, the old instance-name value can be retained safetly. If new-class is a unit class with a class-based counter, specifying a new instance-name value (using
When the old class and new-class are both unit classes and no
space-instances value is supplied to
Change the class of unit instance
> (change-class hyp 'rejected-hyp :instance-name (next-class-instance-number 'rejected-hyp)) #<rejected-hyp 1409 (896 388) .68> >Note that the
The GBBopen Project