# Couenne::SumLogAuxRel Class Reference

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

`#include <CouenneCrossConv.hpp>`

Inheritance diagram for Couenne::SumLogAuxRel:

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 58 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:

- CouenneCrossConv.hpp

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines