class Gecode::SetElements::SetElementsOperand

A SetElementsOperand is an uncommon operand that results from calling SetOperand#elements. It facilitates placing the constraints defined in SetElementsConstraintReceiver

Examples ¶ ↑

Producing a SetElementsOperand from set_operand:

set_operand.elements