__init__(expression[, improved_var_bounds])
|
|
acceptChildResult(node, data, child_result, ...)
|
|
beforeChild(node, child, child_idx)
|
|
exitNode(node, data)
|
|
finalizeResult(node_result)
|
|
register_num(num)
|
Registers a new number: Param, Var, or NumericConstant. |
register_var(var, lb, ub)
|
Registers a new variable. |
walk_expression()
|
Walk an expression, calling registered callbacks. |
walk_expression_nonrecursive(expr)
|
Nonrecursively walk an expression, calling registered callbacks. |