C++ Reference: class ChangeValue

This documentation is automatically generated.

Defines operators which change the value of variables; each neighbor corresponds to *one* modified variable. Sub-classes have to define ModifyValue which determines what the new variable value is going to be (given the current value and the variable).

Return type: explicit

Arguments: const std::vector<IntVar*>& vars



Return type: virtual int64_t

Arguments: int64_t index, int64_t value