search

hdavid16 / DisjunctiveProgramming.jl

A JuMP extension for Generalized Disjunctive Programming
MIT License
27 stars 3 forks source link

Use expressions for the constraints used in the disjunctions #22

Closed hdavid16 closed 2 years ago

hdavid16 commented 2 years ago

https://jump.dev/JuMP.jl/stable/manual/expressions/

This is probably a better approach for the internals of this package. This way, constraints are not modified, but the expressions are reformulated and then added as constraints.

hdavid16 commented 2 years ago

This may not be the best option since expressions don't have operators (<=, >=, ==). Thus you would need to have the expressions in canonical form (<= 0) to properly do the reformulation.

A pro of using expressions, is that for the nonlinear case, you can name them, which you can't do with nonlinear-constraints