Java 如何使用Choco设定目标，如3.5X+；4.2岁？

我是个新手。我在网上找到了一个例子，上面显示了如何设置对象，如下所示

// Model objective function 3X + 4Y
IntVar OBJ = model.intVar("objective", 0, 999);
model.scalar(new IntVar[]{X,Y}, new int[]{3,4}, OBJ)).post();
// Specify objective
model.setObjective(Model.MAXIMIZE, OBJ);

---

如果我的系数是双倍值呢？更具体地说，如果我的目标函数是3.5X+4.2Y，我如何设置目标？请帮忙。谢谢。

不是您问题的重点，但是Java命名约定会说

IntVar obj

（而不是

IntVar obj

）。约束编程是以int为重点的。虽然choco可能支持浮动（现在无法检查），但我仍然建议只进行缩放：3.5x+4.2y变为35x+42y。这并不少见。谢谢@sascha。请把你的评论作为回答，这样我就可以接受了。