Couenne::BiProdDivRel Class Reference

Identifies 5-tuple of the form. More...

#include <CouenneCrossConv.hpp>

Inheritance diagram for Couenne::BiProdDivRel:
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-tuple of the form.

x_j := x_i / x_k x_p := x_i / x_q

x_l := x_j / x_p OR x_l := x_j x_k x_m := x_q / x_k x_m := x_p x_q

and generates, ONLY once, a cut

x_l = x_m (in both cases).

Definition at line 104 of file CouenneCrossConv.hpp.


Member Function Documentation

virtual int Couenne::BiProdDivRel::findRelations (  )  [virtual]

Implements Couenne::AuxRelation.

virtual void Couenne::BiProdDivRel::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