#include "CouenneExprSum.hpp"
#include "CouenneExprGroup.hpp"
#include "CouenneConfig.h"
#include "CoinHelperFunctions.hpp"
#include "CoinFinite.hpp"

Include dependency graph for impliedBounds-exprSum.cpp:

Functions
static CouNumber	scanBounds (int, int, int , CouNumber , CouNumber , int )
	vector operation to find bound to variable in a sum More...

Function Documentation

static CouNumber scanBounds	(	int	num,
		int	sign,
		int *	indices,
		CouNumber *	coeff,
		CouNumber *	bounds,
		int *	infnum
	)

static

vector operation to find bound to variable in a sum

sum bounds depending on coefficients

return value: index of variable with infinite bound, or -2 if more than one exist

Parameters

sign	cardinality of the set (I1 or I2)
indices	+1: check for +inf, -1: check for -inf
coeff	indices in the set, $i I_k$
bounds	coefficients in the set
infnum	variable bounds to check

Definition at line 346 of file impliedBounds-exprSum.cpp.