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.