unlinkf-all

Purpose
Remove all the links in the specified link slot.

Package   :gbbopen

Module   :gbbopen-core

Arguments and values

Events
An unlink-event is signaled for:

• all pointers that are removed from the specified link-slot-place
• each inverse pointer of the link that is removed from another unit instance

See also
    linkf
    link-setf
    unlinkf

Example
Remove all supporting hypothesis links from the supporting-hyps link slot of the hyp unit instance unit-instance:

  > (unlinkf-all (supporting-hyps-of unit-instance))
  nil
  >

unlinkf-all