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

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