
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

Type
   library(ic_hybrid_sets)

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