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