Identifies 5-ples of variables of the form. More...
#include <CouenneCrossConv.hpp>
Public Member Functions | |
virtual int | findRelations () |
virtual void | generateCuts (const OsiSolverInterface &, OsiCuts &, const CglTreeInfo=CglTreeInfo()) const |
Identifies 5-ples of variables of the form.
x_k := x_i x_j x_l := x_i x_p
x_q := x_k x_p OR x_q := x_k / x_j x_r := x_k x_j x_r := x_l / x_p
and generates, ONLY ONCE, a cut
x_q = x_r (in both cases).
Definition at line 82 of file CouenneCrossConv.hpp.
|
virtual |
Implements Couenne::AuxRelation.
|
virtual |
Reimplemented from Couenne::AuxRelation.