__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. |