public void ApplyChange(IntVariable amount) { ApplyChange(amount.Value); }
public void SetValue(IntVariable value) { SetValue(value.Value); }