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

# 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)

Attribute structure for set variables (and constants)

## 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

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