记录


记录

启用API呼叫记录
类型: int
默认值: 0
最小值: 0
最大值: 1

启用API呼叫记录。启用时,Gurobi将写入一个或多个文件(命名gurobi000.grbr或类似的)捕获程序发出的Gurobi命令序列。此文件随后可以使用Gurobi命令行工具.重放该文件将重复完全相同的命令序列,完成后将显示在Gurobi API例程中花费的时间,在Gurobi算法中花费的时间,并将表明您的程序是否泄露了任何Gurobi环境或模型。重播文件在技术支持情况下特别有用。它们提供了一种简单的方式,向Gurobi技术支持传递导致问题或问题的确切的Gurobi命令序列。

此参数必须在开始空环境(或在一个gurobi.env文件)。所有的Gurobi命令都将被记录,直到环境被释放或程序结束。

关于如何从不同的api中查询或修改参数值的示例,请参考我们的参数的例子