Relaxation of Implicit Functions
High-level functions
EAGO.McCormick.implicit_relax_h!
— Functionimplicitrelaxh!
Subroutines
EAGO.McCormick.affine_exp!
— Functionaffine_exp!
Computates the affine relaxations of the state variable.
EAGO.McCormick.correct_exp!
— Functioncorrect_exp!
Corrects the relaxation of the state variable x_mc
if the affine relaxation,
EAGO.McCormick.final_cut
— Functionfinal_cut
An operator that cuts the x_mc
object using the x_mc_int bounds
in a differentiable or nonsmooth fashion to achieve a composite relaxation within x_mc_int
.
EAGO.McCormick.gen_expansion_params!
— Functiongenexpansionparams!