[ 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