Returns the current upper bound for variable var
.
The upper bound for variable var
at the current node.
This may be different from the bound the variable has in the active model, since branching or bound strengthening may have been applied to it.