[ library(fd_sets) | The ECLiPSe Libraries | 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