如何检查在 OPL、CPLEX 中工作的功能？
How can I check the functions-working in OPL, CPLEX?
假设我想知道 forall 在 opl 中的工作原理，但是因为我不能使用 writeln 或 write ，对吗？那么如何验证它是否正常工作（逻辑是否正确）？有什么方法可以检查函数是否像在 C 中一样工作（毫无疑问，我可以在任何地方打印值）？
forall(u,v in Node, k in users)
{
forall(k in users) ((sum(w in Node)x[u][w][k] - sum(v in Node)x[v][u][k]) == ((u==x)?1:(u=[k]?-1:0)));
}
现在，CPLEX 引擎如何理解这个等式？
如果您为约束命名，那么您可以在问题浏览器中看到您的约束
查看文档
假设我想知道 forall 在 opl 中的工作原理，但是因为我不能使用 writeln 或 write ，对吗？那么如何验证它是否正常工作（逻辑是否正确）？有什么方法可以检查函数是否像在 C 中一样工作（毫无疑问，我可以在任何地方打印值）？
forall(u,v in Node, k in users)
{
forall(k in users) ((sum(w in Node)x[u][w][k] - sum(v in Node)x[v][u][k]) == ((u==x)?1:(u=[k]?-1:0)));
}
现在，CPLEX 引擎如何理解这个等式？
如果您为约束命名，那么您可以在问题浏览器中看到您的约束
查看文档