public override String ToString() { return String.Format("[DoubleVariable: Label={0}, Value={1}]", Label, Value); } }