#include <CouenneCrossConv.hpp>
Inheritance diagram for Couenne::SumLogAuxRel:
Public Member Functions | |
virtual int | findRelations () |
virtual void | generateCuts (const OsiSolverInterface &, OsiCuts &, const CglTreeInfo=CglTreeInfo()) const |
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.