public RangedAdjustablePropertyValue(DoubleRange range, double value) { Contract.Requires(!range.IsFixed); Contract.Requires(range.IsIn(value)); Range = range; this.value = value; }