逻辑到析取

(类来自 pyomo.contrib.cp.transform.logical_to_disjunctive_program)

class pyomo.contrib.cp.transform.logical_to_disjunctive_program.LogicalToDisjunctive(**kwds)

基础类：Transformation

将逻辑约束重新编码为线性约束，将布尔变量转换为二进制。

__init__(**kwds)

方法

__init__(**kwds)
apply(model, **kwds)	已弃用。
apply_to(model, **kwds)	将转换应用于给定的模型。
create_using(model, **kwds)	使用此转换创建一个新模型

属性

CONFIG

成员文档

apply(model, **kwds)

已弃用。

自版本4.3.11323起已弃用：Transformation.apply() 已被弃用。请使用 Transformation.apply_to() 进行原地转换，或使用 Transformation.create_using() 创建新的独立转换模型实例。

apply_to(model, **kwds)

将转换应用于给定的模型。

create_using(model, **kwds)

使用此转换创建一个新模型