Cast IDs to uint64_t in agent, consumable_resource, reusable_resource…

…, and state_variable classes for consistency
ratioSolver · Nov 11, 2024 · e313c88 · e313c88
1 parent 9a0e4e2
commit e313c88
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/extern/semitone b/extern/semitone
diff --git a/src/types/agent.cpp b/src/types/agent.cpp
@@ -41,7 +41,7 @@ namespace ratio
 
         for (const auto &[agnt, atms] : agnt_instances)
         {
-            json::json tl{{"id", get_id(*agnt)}, {"type", AGENT_TYPE_NAME}};
+            json::json tl{{"id", static_cast<uint64_t>(get_id(*agnt))}, {"type", AGENT_TYPE_NAME}};
 #ifdef COMPUTE_NAMES
             tl["name"] = get_solver().guess_name(*agnt);
 #endif

diff --git a/src/types/consumable_resource.cpp b/src/types/consumable_resource.cpp
@@ -130,7 +130,7 @@ namespace ratio
         for (const auto &[cres, atms] : cr_instances)
         {
             const auto c_initial_amount = get_solver().arithmetic_value(*std::static_pointer_cast<riddle::arith_item>(cres->get(CONSUMABLE_RESOURCE_INITIAL_AMOUNT_NAME)));
-            json::json tl{{"id", get_id(*cres)}, {"type", CONSUMABLE_RESOURCE_TYPE_NAME}, {CONSUMABLE_RESOURCE_CAPACITY_NAME, to_json(get_solver().arithmetic_value(*std::static_pointer_cast<riddle::arith_item>(cres->get(CONSUMABLE_RESOURCE_CAPACITY_NAME))))}, {CONSUMABLE_RESOURCE_INITIAL_AMOUNT_NAME, to_json(c_initial_amount)}};
+            json::json tl{{"id", static_cast<uint64_t>(get_id(*cres))}, {"type", CONSUMABLE_RESOURCE_TYPE_NAME}, {CONSUMABLE_RESOURCE_CAPACITY_NAME, to_json(get_solver().arithmetic_value(*std::static_pointer_cast<riddle::arith_item>(cres->get(CONSUMABLE_RESOURCE_CAPACITY_NAME))))}, {CONSUMABLE_RESOURCE_INITIAL_AMOUNT_NAME, to_json(c_initial_amount)}};
 #ifdef COMPUTE_NAMES
             tl["name"] = get_solver().guess_name(*cres);
 #endif

diff --git a/src/types/reusable_resource.cpp b/src/types/reusable_resource.cpp
@@ -262,7 +262,7 @@ namespace ratio
 
         for (const auto &[rr, atms] : rr_instances)
         {
-            json::json tl{{"id", get_id(*rr)}, {"type", REUSABLE_RESOURCE_TYPE_NAME}};
+            json::json tl{{"id", static_cast<uint64_t>(get_id(*rr))}, {"type", REUSABLE_RESOURCE_TYPE_NAME}};
 #ifdef COMPUTE_NAMES
             tl["name"] = get_solver().guess_name(*rr);
 #endif

diff --git a/src/types/state_variable.cpp b/src/types/state_variable.cpp
@@ -198,7 +198,7 @@ namespace ratio
 
         for (const auto &[sv, atms] : sv_instances)
         {
-            json::json tl{{"id", get_id(*sv)}, {"type", STATE_VARIABLE_TYPE_NAME}};
+            json::json tl{{"id", static_cast<uint64_t>(get_id(*sv))}, {"type", STATE_VARIABLE_TYPE_NAME}};
 #ifdef COMPUTE_NAMES
             tl["name"] = get_solver().guess_name(*sv);
 #endif