(function from pyomo.gdp.plugins.partition_disjuncts)
pyomo.gdp.plugins.partition_disjuncts
Returns a tuple (LB, UB) where LB and UB are the results of minimizing and maximizing expr over the variable bounds and the constraints on the global_constraints block. Note that if expr is nonlinear, even if one of the min and max problems is convex, the other won’t be!
The subexpression whose bounds we will return
A Block which contains the global Constraints and Vars of the original model
A configured Solver object to use to minimize and maximize expr over the set defined by global_constraints. Note that if expr is nonlinear, opt will need to be capable of optimizing nonconvex problems.