From 95f13764ef766f7df53d57f2a281c1c88bf89e01 Mon Sep 17 00:00:00 2001 From: Daniel Burrows Date: Mon, 1 Jun 2009 21:21:48 -0700 Subject: Use set_id() to make sure that choices added to solutions get IDs as expected. --- src/generic/problemresolver/problemresolver.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/generic/problemresolver/problemresolver.h') diff --git a/src/generic/problemresolver/problemresolver.h b/src/generic/problemresolver/problemresolver.h index 092f6811..c168495c 100644 --- a/src/generic/problemresolver/problemresolver.h +++ b/src/generic/problemresolver/problemresolver.h @@ -3033,9 +3033,12 @@ private: */ void generate_single_successor(const step &parent, step &output, - const choice &c, + const choice &c_original, const tier &output_tier) { + choice c(c_original); + c.set_id(parent.actions.size()); + // Copy all the state information over so we can work in-place on // the output set. output.actions = parent.actions; -- cgit v1.2.3