![]() | ![]() | ![]() | remove-instance-from-space-instance | ![]() |
| unit-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 instance-removed-from-space-instance-event
See also
add-instance-to-space-instance
Examples
Remove an incorrect hypothesis unit instance,
incorrect-hyp
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 | ![]() |