update notation: constraint added, not replaced

Author: hdavid16

src/bigm.jl

@@ -35,7 +35,7 @@ function big_m_reformulation!(constr::NonlinearConstraintRef, bin_var, M0, i, j,
     gx = gx - M*(1-λ) #add bigM
 
     #update constraint
-    replace_constraint(constr, bin_var, gx, op, rhs)
+    add_reformulated_constraint(constr, bin_var, gx, op, rhs)
 end
 big_m_reformulation!(constr::AbstractArray{<:ConstraintRef}, bin_var, M, i, j, k) =
     big_m_reformulation(constr[k], bin_var, M, i, j, k)

src/constraint.jl

@@ -142,11 +142,11 @@ function parse_constraint(constr::ConstraintRef)
 end
 
 """
-    replace_constraint(constr::ConstraintRef, bin_var::Symbol, sym_expr, op, rhs)
+    add_reformulated_constraint(constr::ConstraintRef, bin_var::Symbol, sym_expr, op, rhs)
 
 Replace nonlinear or quadratic constraint with its hull reformulation.
 """
-function replace_constraint(constr::ConstraintRef, bin_var::Symbol, sym_expr, op, rhs)
+function add_reformulated_constraint(constr::ConstraintRef, bin_var::Symbol, sym_expr, op, rhs)
     #convert symbolic function to expression
     op = eval(op)
     expr = Base.remove_linenums!(build_function(op(sym_expr,rhs))).args[2].args[1]

src/hull.jl

@@ -66,7 +66,7 @@ function hull_reformulation!(constr::ConstraintRef, bin_var, eps, i, j, k)
     pers_func = substitute(pers_func, Dict(FSG1 => (1-ϵ)*λ+ϵ,
                                            FSG2 => ϵ*(1-λ)))
     pers_func = simplify(pers_func)
-    replace_constraint(constr, bin_var, pers_func, op, rhs)
+    add_reformulated_constraint(constr, bin_var, pers_func, op, rhs)
 end
 hull_reformulation!(constr::AbstractArray{<:ConstraintRef}, bin_var, eps, i, j, k) = 
     hull_reformulation!(constr[k], bin_var, eps, i, j, k)