CNF_Pyomo2SympyVisitor

(class from pyomo.core.expr.cnf_walker)

class pyomo.core.expr.cnf_walker.CNF_Pyomo2SympyVisitor(object_map, bool_varlist)[source]

Bases: Pyomo2SympyVisitor

__init__(object_map, bool_varlist)[source]

Methods

__init__(object_map, bool_varlist)

beforeChild(node, child, child_idx)

exitNode(node, values)

initializeWalker(expr)

walk_expression(expr)

Walk an expression, calling registered callbacks.

walk_expression_nonrecursive(expr)

Nonrecursively walk an expression, calling registered callbacks.

Attributes

client_methods

Member Documentation

walk_expression(expr)

Walk an expression, calling registered callbacks.

This is the standard interface for running the visitor. It defaults to using an efficient recursive implementation of the visitor, falling back on walk_expression_nonrecursive() if the recursion stack gets too deep.

walk_expression_nonrecursive(expr)

Nonrecursively walk an expression, calling registered callbacks.

This routine is safer than the recursive walkers for deep (or unbalanced) trees. It is, however, slightly slower than the recursive implementations.