public void ApplyChange(IntVariable amount) { value += amount.value; }
public void SetValue(IntVariable value) { this.value = value.value; }