CPLEXSHELL

(类来自 pyomo.solvers.plugins.solvers.CPLEX)

class pyomo.solvers.plugins.solvers.CPLEX.CPLEXSHELL(**kwds)

基础：ILMLicensedSystemCallSolver

CPLEX LP/MIP求解器的Shell接口

__init__(**kwds)

构造函数

方法

__init__(**kwds)	构造函数
available([exception_flag])	如果求解器可用则为真
config_block([init])
create_command_line(executable, problem_files)	创建要执行的命令行。
default_variable_value()
executable()	返回此求解器使用的可执行文件。
has_capability(cap)	返回一个布尔值，表示求解器是否支持特定功能。
license_is_valid()	如果求解器存在并且具有有效的许可证（如果适用），则为True
problem_format()	返回当前问题的格式。
process_logfile()	处理日志文件
process_output(rc)	处理输出文件。
process_soln_file(results)	处理由优化器生成的辅助数据文件（例如解决方案文件）。
reset()	重置求解器的状态
results_format()	返回当前的结果格式。
set_callback(name[, callback_fn])	为命名回调设置回调函数。
set_executable([name, validate])	设置此求解器的可执行文件。
set_options(istr)
set_problem_format(format)	设置当前问题的格式（如果它是有效的），并将结果格式更新为适合此问题格式的有效格式。
set_results_format(format)	设置当前结果格式（如果它对当前问题格式有效）。
solve(*args, **kwds)	解决问题
version()	返回一个描述求解器可执行文件版本的4元组。
warm_start_capable()	如果求解器可以接受热启动解决方案，则为True

属性

SUFFIX_DIRECTION_NAME
SUFFIX_PRIORITY_NAME
keepfiles
log_file
soln_file
suffixes
symbolic_solver_labels
tee
warm_start_file_name
warm_start_solve

成员文档

available(exception_flag=False)

如果求解器可用则为真

create_command_line(executable, problem_files)

创建要执行的命令行。

executable()

返回此求解器使用的可执行文件。

has_capability(cap)

返回一个布尔值，表示求解器是否支持特定功能。如果求解器不知道某个选项，则默认为‘False’。期望输入一个字符串。

示例： # 如果求解器支持sos1约束，则打印True，否则打印False print(solver.has_capability(‘sos1’)

# 如果求解器支持‘feature’，则打印True，否则打印False print(solver.has_capability(‘feature’)

Parameters:

cap (str) – 特征

Returns:

val – 求解器是否具有指定的能力。

Return type:

bool

license_is_valid()

如果求解器存在并且具有有效的许可证（如果适用），则为True

problem_format()

返回当前问题的格式。

process_logfile()

处理日志文件

process_output(rc)

处理输出文件。

process_soln_file(results)

处理由优化器生成的辅助数据文件（例如解决方案文件）

reset()

重置求解器的状态

results_format()

返回当前的结果格式。

set_callback(name, callback_fn=None)

为命名回调设置回调函数。

回调函数的形式如下：

def fn(solver, model):

通过

其中‘solver’是原生求解器接口对象，‘model’是Pyomo模型实例对象。

set_executable(name=None, validate=True)

设置此求解器的可执行文件。

‘name’ 关键字可以被赋予一个相对、绝对或基础文件名。如果它未设置（None），可执行文件将被重置为与求解器接口关联的默认值。

当‘validate’为True（默认）时，会进行额外的检查，确保存在具有该名称的可执行文件，然后将‘name’转换为绝对路径。在Windows平台上，验证‘name’时，如果需要，将附加‘.exe’扩展名。如果名为‘name’的文件似乎不是相对路径或绝对路径，则将在分配给PATH环境变量的目录中执行搜索。

set_problem_format(format)

设置当前问题的格式（如果它是有效的）并更新结果格式，使其适用于此问题格式。

set_results_format(format)

设置当前结果格式（如果它对当前问题格式有效）。

solve(*args, **kwds)

解决问题

version()

返回一个描述求解器可执行文件版本的4元组。

warm_start_capable()

如果求解器可以接受热启动解决方案，则为True