如何在gecode中打印变量的值

2024-05-19 • 问答

我正在尝试使用gecode求解线性方程15 * x + y + 0.4 * z == 100。我想打印x，y，z的值。但是，当我运行以下代码时，

FieldId FieldName   FieldValue  NewFieldValue
------- ---------   ----------  -------------
1       ABC         04/17/2020  04/22/2020

我得到的输出为[1..6] [10..85] [1..100]。但是我希望有一个有效的解决方案，例如1 83 5分别作为x y z值的答案。有人可以解释吗？

您忘记为变量添加分支指令。如果没有任何分支，则执行将在传播后停止，并假设传播者没有失败，则执行已解决。

一个简单的变量数组分支的示例是branch(*this,x,INT_VAR_SIZE_MIN(),INT_VAL_MIN());。可以在MPG中找到有关分支的更多信息。

本文链接：https://www.f2er.com/2378571.html