Transformation to reformulate nonlinear models with linearity induced from discrete variables.
Ref: Grossmann, IE; Voudouris, VT; Ghattas, O. Mixed integer linear reformulations for some nonlinear discrete design optimization problems.
Classes
InducedLinearity(**kwds)
InducedLinearity
Reformulate nonlinear constraints with induced linearity.
Functions
detect_effectively_discrete_vars(block, ...)
detect_effectively_discrete_vars
Detect effectively discrete variables.
determine_valid_values(block, ...)
determine_valid_values
Calculate valid values for each effectively discrete variable.
prune_possible_values(block_scope, ...)
prune_possible_values
zero_if_None(val)
zero_if_None