| | | remove-instance-from-space-instance | |
|
| unit-instance space-instance | [Generic Function] |
Purpose
Remove a unit instance from a space instance.
Method signatures
(unit-instance standard-unit-instance)(space-instance-path cons)
|
(unit-instance standard-unit-instance)(space-instance standard-space-instance)
|
Package :gbbopen
Module :gbbopen-core
Arguments and values
| unit-instance | The unit instance to be removed | |
| space-instance-or-path | The space instance or space-instance path from which the unit instance is to be removed |
Events
A remove-instance-from-space-instance-event is signaled.
See also
add-instance-to-space-instance
Examples
Remove an incorrect hypothesis unit instance,
incorrect-hyp, from the hyps space instance:
> (remove-instance-from-space-instance
incorrect-hyp (find-space-instance-by-path '(bb hyps)))
#<hyp 311 (896 388) 0.68 [0..6]>
>
or
> (remove-instance-from-space-instance incorrect-hyp '(bb hyps)) #<hyp 311 (896 388) 0.68 [0..6]> >
The GBBopen Project
| | | remove-instance-from-space-instance | |