destroy (instance)
This function destroys instances of classes. When a class instance is destroyed, its data type changes to destroyed instance. You can test for a destroyed instance by using the predicate destroyed_p.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.