Couenne::SumLogAuxRel Class Reference

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

#include <CouenneCrossConv.hpp>

Inheritance diagram for Couenne::SumLogAuxRel:
Couenne::AuxRelation

List of all members.

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


Member Function Documentation

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.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Generated on 26 Jan 2012 for Couenne by  doxygen 1.6.1