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

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 ( )

virtual

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

virtual

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