cplex - 仅构建和检查模型

Question

我在 ILOG CPLEX 中有一个用 OPL 编写的模型。我想运行所有语义检查（特别是所有assert语句）。我不想生成任何输出文件或求解模型。

从文档中解释的执行过程的摘要来看，我只想执行阶段 1-3。

有没有办法从IDE做到这一点？或者它是否需要 *.ops 文件或在主块中使用 OPL 脚本编写脚本？

标签： cplexopl

Answer 1

在文档中你应该看看 Browse in

IDE 和 OPL > CPLEX Studio IDE > IDE 参考 > 图形用户界面 > 菜单命令和等效的工具栏按钮

此操作在 IDE 中可用，它的作用是：

“构建或重建活动模型或项目中定义的数据结构的模型树，以允许在问题浏览器中浏览项目而不解决它。

您可以单击按钮旁边的箭头，然后从上下文菜单中选择要浏览的文件。”

如果您更喜欢使用流控制和脚本，并且您的模型只是预处理、约束和后处理，您可以添加

main
{
  thisOplModel.generate();
  writeln("ok");
}

不会调用解决