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_3 := log x_1 x_4 := log x_2 x_5 := x_1 x_2 in [l,u]
and generates a cut
x_3 + x_4 in [max {0, log l}, max {0, log u}].
This has to be repeatedly generated, even when l=u (l and/or u could change in other nodes).
Definition at line 57 of file CouenneCrossConv.hpp.
| virtual int Couenne::SumLogAuxRel::findRelations | ( | ) | [virtual] |
Implements Couenne::AuxRelation.
| virtual void Couenne::SumLogAuxRel::generateCuts | ( | const OsiSolverInterface & | , | |
| OsiCuts & | , | |||
| const | CglTreeInfo = CglTreeInfo() | |||
| ) | const [virtual] |
Reimplemented from Couenne::AuxRelation.
1.6.1