LogicalToDisjunctiveVisitor

(class from pyomo.contrib.cp.transform.logical_to_disjunctive_walker)

class pyomo.contrib.cp.transform.logical_to_disjunctive_walker.LogicalToDisjunctiveVisitor

Bases: StreamBasedExpressionVisitor

Converts BooleanExpressions to Linear (MIP) representation

This converter eschews conjunctive normal form, and instead follows the well-trodden MINLP path of factorable programming.

__init__()

Methods

__init__()
beforeChild(node, child, child_idx)
exitNode(node, data)
finalizeResult(result)
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.