5.154. in_set

Origin

Used for defining constraints with set variables.

Constraint

in_set​(VAL,​SET)​

Synonym(s)

dom, member.

Argument(s)

VAL	dvar
SET	svar

Purpose

Constraint variable VAL to belong to set SET.

Example

​(3,​​{1,​3}​)​

Remark

When SET is fixed the in_set constraint is referenced under the name dom in Gecode.

Systems

member in Choco.

Used in

bipartite, clique, connected, cutset, dag, discrepancy, disj, inverse_set, k_cut, link_set_to_booleans, open_alldifferent, open_among, open_atleast, open_atmost, open_global_cardinality, open_global_cardinality_low_up, path_from_to, proper_forest, roots, strongly_connected, sum, sum_set, symmetric, symmetric_cardinality, symmetric_gcc, tour.

Key words

constraint arguments: constraint involving set variables.

constraint type: predefined constraint, value constraint.

modelling: included.