Couenne  0.2
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
Couenne::SumLogAuxRel Class Reference

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

#include <CouenneCrossConv.hpp>

Inheritance 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

virtual int Couenne::SumLogAuxRel::findRelations ( )

Implements Couenne::AuxRelation.

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

Reimplemented from Couenne::AuxRelation.

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