CnfToLinearVisitor

(类来自 pyomo.core.plugins.transform.logical_to_linear)

class pyomo.core.plugins.transform.logical_to_linear.CnfToLinearVisitor(indicator_var, binary_varlist)

基础类：StreamBasedExpressionVisitor

将CNF逻辑约束转换为线性约束。

预期的表达式节点类型：AndExpression, OrExpression, NotExpression, AtLeastExpression, AtMostExpression, ExactlyExpression, BooleanVarData

__init__(indicator_var, binary_varlist)

方法

__init__(indicator_var, binary_varlist)
beforeChild(node, child, child_idx)
exitNode(node, values)
finalizeResult(result)
walk_expression(expr)	遍历一个表达式，调用已注册的回调函数。
walk_expression_nonrecursive(expr)	非递归地遍历表达式，调用已注册的回调函数。

属性

client_methods

成员文档

walk_expression(expr)

遍历一个表达式，调用已注册的回调函数。

这是运行访问者的标准接口。它默认使用访问者的高效递归实现，如果递归堆栈太深，则回退到walk_expression_nonrecursive()。

walk_expression_nonrecursive(expr)

非递归地遍历表达式，调用已注册的回调函数。

这个例程对于深度（或不平衡）树来说比递归遍历更安全。然而，它比递归实现稍微慢一些。