Make choices mutable, allowing their IDs to be set.

This seems more attractive than having a bunch of "copy and change"
methods.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/generic/problemresolver/choice.h b/src/generic/problemresolver/choice.h
index c3da99eb..2ea8de7e 100644
--- a/src/generic/problemresolver/choice.h
+++ b/src/generic/problemresolver/choice.h
@@ -301,6 +301,12 @@ public:
     return rval;
   }
 
+  /** \brief Update the ID of this choice. */
+  void set_id(int new_id)
+  {
+    id = new_id;
+  }
+
   int get_id() const { return id; }
   type get_type() const { return tp; }