determine_valid_values

(function from pyomo.contrib.preprocessing.plugins.induced_linearity)

pyomo.contrib.preprocessing.plugins.induced_linearity.determine_valid_values(block, discr_var_to_constrs_map, config)

Calculate valid values for each effectively discrete variable.

We need the set of possible values for the effectively discrete variable in order to do the reformulations.

Right now, we select a naive approach where we look for variables in the discreteness-inducing constraints. We then adjust their values and see if things are still feasible. Based on their coefficient values, we can infer a set of allowable values for the effectively discrete variable.

Parameters:

block – The model or a disjunct on the model.