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 81 of file CouenneCrossConv.hpp.
| virtual int Couenne::MultiProdRel::findRelations | ( | ) | [virtual] |
Implements Couenne::AuxRelation.
| virtual void Couenne::MultiProdRel::generateCuts | ( | const OsiSolverInterface & | , | |
| OsiCuts & | , | |||
| const | CglTreeInfo = CglTreeInfo() | |||
| ) | const [virtual] |
Reimplemented from Couenne::AuxRelation.
1.6.1