直接或持久求解器

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

class pyomo.solvers.plugins.solvers.direct_or_persistent_solver.DirectOrPersistentSolver(**kwds)[source]

基础类：OptSolver

这是一个用于直接求解器和持久求解器的基类。直接求解器接口不使用任何文件输入输出。相反，它们直接与特定求解器的python绑定接口。持久求解器接口类似，但它们“记住”它们的模型。因此，持久求解器接口允许对求解器模型进行增量更改（例如，gurobi python模型或cplex python模型）。请注意，当对相应的pyomo模型进行更改时，用户有责任通知持久求解器接口。

Parameters:

type (str) – 字符串，表示求解器实例的类类型。
name (str) – 表示求解器实例的类类型或指定名称的字符串。
文档 (str) – 求解器的文档
options (dict) – 求解器选项的字典

__init__(**kwds)[source]: 构造函数

方法

`__init__`(**kwds)	构造函数
`available`([exception_flag])	如果求解器可用，则为True。
`config_block`([init])
`default_variable_value`()
`has_capability`(cap)	返回一个布尔值，表示求解器是否支持特定功能。
`license_is_valid`()	如果求解器存在并且具有有效的许可证（如果适用），则为True
`load_vars`([vars_to_load])	将求解器变量的值加载到相应的pyomo变量中。
`problem_format`()	返回当前问题的格式。
`reset`()	重置求解器的状态
`results_format`()	返回当前的结果格式。
`set_callback`(name[, callback_fn])	为命名回调设置回调函数。
`set_options`(istr)
`set_problem_format`(format)	设置当前问题的格式（如果它是有效的），并将结果格式更新为适合此问题格式的有效格式。
`set_results_format`(format)	设置当前结果格式（如果它对当前问题格式有效）。
`solve`(args, *kwds)	解决问题
`version`()	返回一个描述求解器可执行文件版本的4元组。
`warm_start_capable`()	如果求解器可以接受热启动解决方案，则为True

属性

`keepfiles`
`log_file`
`soln_file`
`suffixes`
`symbolic_solver_labels`
`tee`
`warm_start_file_name`
`warm_start_solve`
`results`	从solve方法返回的结果对象。

成员文档

available(exception_flag=True)[source]: 如果求解器可用，则为True。

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

load_vars(vars_to_load=None)[source]

将求解器变量中的值加载到相应的pyomo变量中。

Parameters:: vars_to_load (list of Var)

problem_format(): 返回当前问题的格式。

reset(): 重置求解器的状态

results_format(): 返回当前的结果格式。

set_callback(name, callback_fn=None)

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

回调函数的形式如下：

def fn(solver, model):
通过

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

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

set_results_format(format): 设置当前结果格式（如果它对当前问题格式有效）。

solve(*args, **kwds): 解决问题

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

warm_start_capable()[source]: 如果求解器可以接受热启动解决方案，则为True

results: 从solve方法返回的结果对象。