Couenne 0.5.8
Loading...
Searching...
No Matches
Couenne::SumLogAuxRel Class Reference

Identifies 5-ples of variables of the form. More...

#include <CouenneCrossConv.hpp>

+ Inheritance diagram for Couenne::SumLogAuxRel:
+ Collaboration diagram for Couenne::SumLogAuxRel:

Public Member Functions

virtual int findRelations ()
 
virtual void generateCuts (const OsiSolverInterface &, OsiCuts &, const CglTreeInfo=CglTreeInfo()) const
 

Detailed Description

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 58 of file CouenneCrossConv.hpp.

Member Function Documentation

◆ findRelations()

virtual int Couenne::SumLogAuxRel::findRelations ( )
virtual

Implements Couenne::AuxRelation.

◆ generateCuts()

virtual void Couenne::SumLogAuxRel::generateCuts ( const OsiSolverInterface & ,
OsiCuts & ,
const CglTreeInfo = CglTreeInfo() ) const
virtual

Reimplemented from Couenne::AuxRelation.


The documentation for this class was generated from the following file: