[ library(ic_sets) | Reference Manual | Alphabetic Index ]

# struct int_sets(dom, off, lcard, ucard, added, removed, add, rem, card, booleans, value)

Attribute structure for set variables (and constants)

## Fields

dom
  set domain representation (array of booleans)
off
  offset between set element and corresponding array index (integer)
lcard
  lower bound cardinality (integer)
ucard
  upper bound cardinality (integer)
added
  notification send-port for lower bound increases
removed
  notification send-port for upper bound decreases
add
  suspension list woken when lower bound increases
rem
  suspension list woken when upper bound decreases
card
  fd/ic variable for cardinality (see #/2)
booleans
  array of fd/ic variables (see membership_booleans/2)
value
  set variable belonging to this attribute

## See Also

library(notify_ports), suspend / 3, suspend / 4