struct int_sets(dom, lex_min, lex_max, lex_glb, lex_lub, lex_dirty, off, lcard, ucard, added, removed, add, rem, min_susp, max_susp, card, booleans, value)

Fields

dom

set domain representation (array of booleans)

lex_min

lexicographicaly least valid instantiation

lex_max

lexicographicaly greatest valid instantiation

lex_glb

lex ordered GLB

lex_lub

lex ordered GLB

lex_dirty

flag which when set will result in lex_glb

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

min_susp

suspension list woken when lex_min changes

max_susp

suspension list woken when lex_max changes

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