Class ChangeValue


public class ChangeValue extends IntVarLocalSearchOperator
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).