CglFlowCover Class Reference

Lifed Simple Generalized Flow Cover Cut Generator Class. More...

#include <CglFlowCover.hpp>

Inheritance diagram for CglFlowCover:

[legend]

Collaboration diagram for CglFlowCover:

[legend]

List of all members.

Public Member Functions
void	flowPreprocess (const OsiSolverInterface &si) const
	Do the following tasks:.
Generate Cuts

virtual void	generateCuts (const OsiSolverInterface &si, OsiCuts &cs, const CglTreeInfo info=CglTreeInfo()) const
	Generate Lifed Simple Generalized flow cover cuts for the model data contained in si.
Functions to query and set maximum number of cuts can be
generated.
int	getMaxNumCuts () const
void	setMaxNumCuts (int mc)
Constructors and destructors

	CglFlowCover ()
	Default constructor.
	CglFlowCover (const CglFlowCover &)
	Copy constructor.
virtual CglCutGenerator *	clone () const
	Clone.
CglFlowCover &	operator= (const CglFlowCover &rhs)
	Assignment operator.
virtual	~CglFlowCover ()
	Destructor.
virtual std::string	generateCpp (FILE *fp)
	Create C++ lines to get to current state.
Static Public Member Functions
Functions to query and set the number of cuts have been
generated.
static int	getNumFlowCuts ()
static void	setNumFlowCuts (int fc)
static void	incNumFlowCuts (int fc=1)
Private Member Functions
bool	generateOneFlowCut (const OsiSolverInterface &si, const int rowLen, int ind, double coef, char sense, double rhs, OsiRowCut &flowCut, double &violation) const
	Based a given row, a LP solution and other model data, this function tries to generate a violated lifted simple generalized flow cover.
void	flipRow (int rowLen, double *coef, double &rhs) const
	Transform a row from ">=" to "<=", and vice versa.
void	flipRow (int rowLen, double *coef, char &sen, double &rhs) const
	Transform a row from ">=" to "<=", and vice versa.
CglFlowRowType	determineOneRowType (const OsiSolverInterface &si, int rowLen, int ind, double coef, char sen, double rhs) const
	Determine the type of a given row.
void	liftMinus (double &movement, int t, int r, double z, double dPrimePrime, double lambda, double ml, double M, double rho) const
	Lift functions.
int	liftPlus (double &alpha, double &beta, int r, double m_j, double lambda, double y_j, double x_j, double dPrimePrime, double *M) const


const CglFlowRowType *	getRowTypes () const
	Set rowtypes, take over the ownership.
CglFlowRowType	getRowType (const int i) const
	Set rowtypes, take over the ownership.
void	setRowTypes (CglFlowRowType *rt)
	Set rowtypes, take over the ownership.
void	setRowTypes (const CglFlowRowType rt, const int i)
	Set rowtypes, take over the ownership.
const CglFlowVUB *	getVubs () const
	Set rowtypes, take over the ownership.
const CglFlowVUB &	getVubs (int i) const
	Set rowtypes, take over the ownership.
void	setVubs (CglFlowVUB *vubs)
	Set CglFlowVUBs,take over the ownership.
void	setVubs (const CglFlowVUB &vub, int i)
	Set rowtypes, take over the ownership.
void	printVubs (std::ostream &os) const
	Set rowtypes, take over the ownership.
const CglFlowVLB *	getVlbs () const
	Set rowtypes, take over the ownership.
const CglFlowVLB &	getVlbs (int i) const
	Set rowtypes, take over the ownership.
void	setVlbs (CglFlowVLB *vlbs)
	Set CglFlowVLBs,take over the ownership.
void	setVlbs (const CglFlowVLB &vlb, int i)
	Set rowtypes, take over the ownership.
Private Attributes
int	maxNumCuts_
	The maximum number of flow cuts to be generated.
double	EPSILON_
	Tolerance used for numerical purpose.
int	UNDEFINED_
	The variable upper bound of a flow is not indentified yet.
double	INFTY_
	Very large number.
double	TOLERANCE_
	If violation of a cut is greater that this number, the cut is useful.
bool	firstProcess_
	First time preprocessing.
int	numRows_
	The number rows of the problem.
int	numCols_
	The number columns of the problem.
bool	doneInitPre_
	Indicate whether initial flow preprecessing has been done.
CglFlowVUB *	vubs_
	The array of CglFlowVUBs.
CglFlowVLB *	vlbs_
	The array of CglFlowVLBs.
CglFlowRowType *	rowTypes_
	CglFlowRowType of the rows in model.
Static Private Attributes
static int	numFlowCuts_
	The number flow cuts found.
Friends
void	CglFlowCoverUnitTest (const OsiSolverInterface *siP, const std::string mpdDir)
	A function that tests the methods in the CglProbing class.

Detailed Description

Lifed Simple Generalized Flow Cover Cut Generator Class.

Definition at line 148 of file CglFlowCover.hpp.

Constructor & Destructor Documentation

CglFlowCover::CglFlowCover ( )

Default constructor.

CglFlowCover::CglFlowCover ( const CglFlowCover & )

Copy constructor.

virtual CglFlowCover::~CglFlowCover ( ) [virtual]

Destructor.

Member Function Documentation

void CglFlowCover::flowPreprocess ( const OsiSolverInterface & si ) const

Do the following tasks:.

classify row types
indentify vubs and vlbs

This function is called by generateCuts(const OsiSolverInterface & si, OsiCuts & cs).

virtual void CglFlowCover::generateCuts	(	const OsiSolverInterface &	si,
		OsiCuts &	cs,
		const CglTreeInfo	info = `CglTreeInfo()`
	)			const `[virtual]`

Generate Lifed Simple Generalized flow cover cuts for the model data contained in si.

The generated cuts are inserted into and returned in the collection of cuts cs.

Implements CglCutGenerator.

int CglFlowCover::getMaxNumCuts ( ) const [inline]

Definition at line 178 of file CglFlowCover.hpp.

void CglFlowCover::setMaxNumCuts ( int mc ) [inline]

Definition at line 179 of file CglFlowCover.hpp.

static int CglFlowCover::getNumFlowCuts ( ) [inline, static]

Definition at line 185 of file CglFlowCover.hpp.

static void CglFlowCover::setNumFlowCuts ( int fc ) [inline, static]

Definition at line 186 of file CglFlowCover.hpp.

static void CglFlowCover::incNumFlowCuts ( int fc = 1 ) [inline, static]

Definition at line 187 of file CglFlowCover.hpp.

virtual CglCutGenerator* CglFlowCover::clone ( ) const [virtual]

Clone.

Implements CglCutGenerator.

CglFlowCover& CglFlowCover::operator= ( const CglFlowCover & rhs )

Assignment operator.

Reimplemented from CglCutGenerator.

virtual std::string CglFlowCover::generateCpp ( FILE * fp ) [virtual]

Create C++ lines to get to current state.

Reimplemented from CglCutGenerator.

bool CglFlowCover::generateOneFlowCut	(	const OsiSolverInterface &	si,
		const int	rowLen,
		int *	ind,
		double *	coef,
		char	sense,
		double	rhs,
		OsiRowCut &	flowCut,
		double &	violation
	)			const `[private]`

Based a given row, a LP solution and other model data, this function tries to generate a violated lifted simple generalized flow cover.

void CglFlowCover::flipRow	(	int	rowLen,
		double *	coef,
		double &	rhs
	)			const `[private]`

Transform a row from ">=" to "<=", and vice versa.

void CglFlowCover::flipRow	(	int	rowLen,
		double *	coef,
		char &	sen,
		double &	rhs
	)			const `[private]`

Transform a row from ">=" to "<=", and vice versa.

Have 'sense'.

CglFlowRowType CglFlowCover::determineOneRowType	(	const OsiSolverInterface &	si,
		int	rowLen,
		int *	ind,
		double *	coef,
		char	sen,
		double	rhs
	)			const `[private]`

Determine the type of a given row.

void CglFlowCover::liftMinus	(	double &	movement,
		int	t,
		int	r,
		double	z,
		double	dPrimePrime,
		double	lambda,
		double	ml,
		double *	M,
		double *	rho
	)			const `[private]`

Lift functions.

int CglFlowCover::liftPlus	(	double &	alpha,
		double &	beta,
		int	r,
		double	m_j,
		double	lambda,
		double	y_j,
		double	x_j,
		double	dPrimePrime,
		double *	M
	)			const `[private]`

const CglFlowRowType* CglFlowCover::getRowTypes ( ) const [inline, private]