OsiRowCutDebugger Class Reference

#include <OsiRowCutDebugger.hpp>

List of all members.

Public Member Functions
Validate Row Cuts
virtual int	validateCuts (const OsiCuts &cs, int first, int last) const
virtual bool	invalidCut (const OsiRowCut &rowcut) const
	check one cut. Return true if cut is invalid
const double *	optimalSolution () const
	Return optimal solution.
Activate Debugger
bool	activate (const OsiSolverInterface &si, const char *model)
Test if on Optimal Path
bool	onOptimalPath (const OsiSolverInterface &si) const
Test if debugger active
bool	active () const
	Returns true if debugger is active.
Constructors and destructors
	OsiRowCutDebugger ()
	Default constructor - no checking.
	OsiRowCutDebugger (const OsiSolverInterface &si, const char *model)
	OsiRowCutDebugger (const OsiRowCutDebugger &)
	Copy constructor.
OsiRowCutDebugger &	operator= (const OsiRowCutDebugger &rhs)
	Assignment operator.
virtual	~OsiRowCutDebugger ()
	Destructor.
Private Attributes
Private member data
int	numberColumns_
	number of columns in problem
bool *	integerVariable_
	Whether integer or not.
double *	optimalSolution_
	Optimal column solution.
Friends
void	OsiRowCutDebuggerUnitTest (const OsiSolverInterface *siP, const std::string &mpsDir)

---

Detailed Description

Validate Row Cut Generator

Definition at line 12 of file OsiRowCutDebugger.hpp.

---

Constructor & Destructor Documentation

OsiRowCutDebugger::OsiRowCutDebugger (  const OsiSolverInterface &  si, const char *  model )

Constructor with name of model. It may or may not work if problem presolved

---

Member Function Documentation

bool OsiRowCutDebugger::activate (  const OsiSolverInterface &  si, const char *  model )

Activate debugger using name of model. It may or may not work if problem presolved. Returns true if debugger activated.

bool OsiRowCutDebugger::onOptimalPath (  const OsiSolverInterface &  si  )  const

Returns whether still on optimal path. This should normally be invoked from OsiSolverInterface::rowCutDebugger()

virtual int OsiRowCutDebugger::validateCuts (  const OsiCuts &  cs, int  first, int  last )  const [virtual]

If we are on the path to the optimal integer solution then check if any generated cuts cut off the optimal solution! If so then print offending cuts and return non-zero code Up to user to check if on optimalPath (using function of same name). This is normally handled by rowCutDebugger() in OsiSolverInterface. Return number of invalid cuts.

---

Friends And Related Function Documentation

void OsiRowCutDebuggerUnitTest (  const OsiSolverInterface *  siP, const std::string &  mpsDir )  [friend]

A function that tests the methods in the OsiRowCut class. The only reason for it not to be a member method is that this way it doesn't have to be compiled into the library. And that's a gain, because the library should be compiled with optimization on, but this method should be compiled with debugging. Definition at line 19 of file OsiRowCutDebuggerTest.cpp. { CoinRelFltEq eq; // Test default constructor { OsiRowCutDebugger r; assert( r.integerVariable_==NULL ); assert( r.optimalSolution_==NULL ); assert( r.numberColumns_==0); } { // Get non trivial instance OsiSolverInterface * imP = baseSiP->clone(); std::string fn = mpsDir+"exmip1"; imP->readMps(fn.c_str(),"mps"); //std::cerr <<imP->getNumRows() <<std::endl; assert( imP->getNumRows() == 5); // activate debugger imP->activateRowCutDebugger("ab cd /x/ /exmip1.asc"); int i; // return debugger const OsiRowCutDebugger * debugger = imP->getRowCutDebugger(); // check assert (debugger!=NULL); assert (debugger->numberColumns_==8); const bool type[]={0,0,1,1,0,0,0,0}; const double values[]= {2.5, 0, 1, 1, 0.5, 3, 0, 0.26315789473684253}; CoinPackedVector objCoefs(8,imP->getObjCoefficients()); #if 0 for (i=0;i<8;i++) { assert(type[i]==debugger->integerVariable_[i]); std::cerr <<i <<" " <<values[i] <<" " <<debugger->optimalSolution_[i] <<std::endl; } #endif double objValue = objCoefs.dotProduct(values); double debuggerObjValue = objCoefs.dotProduct(debugger->optimalSolution_); //std::cerr <<objValue <<" " <<debuggerObjValue <<std::endl; assert( eq(objValue,debuggerObjValue) ); OsiRowCutDebugger rhs; { OsiRowCutDebugger rC1(*debugger); assert (rC1.numberColumns_==8); for (i=0;i<8;i++) { assert(type[i]==rC1.integerVariable_[i]); } assert( eq(objValue,objCoefs.dotProduct(rC1.optimalSolution_)) ); rhs=rC1; assert (rhs.numberColumns_==8); for (i=0;i<8;i++) { assert(type[i]==rhs.integerVariable_[i]); } assert( eq(objValue,objCoefs.dotProduct(rhs.optimalSolution_)) ); } // Test that rhs has correct values even though lhs has gone out of scope assert (rhs.numberColumns_==8); for (i=0;i<8;i++) { assert(type[i]==rhs.integerVariable_[i]); } assert( eq(objValue,objCoefs.dotProduct(rhs.optimalSolution_)) ); OsiRowCut cut[2]; const int ne = 3; int inx[ne] = { 0, 2, 3 }; double el[ne] = { 1., 1., 1. }; cut[0].setRow(ne,inx,el); cut[0].setUb(5.); el[1]=5; cut[1].setRow(ne,inx,el); cut[1].setUb(5); OsiCuts cs; cs.insert(cut[0]); cs.insert(cut[1]); assert(!debugger->invalidCut(cut[0])); assert( debugger->invalidCut(cut[1])); assert(debugger->validateCuts(cs,0,2)==1); assert(debugger->validateCuts(cs,0,1)==0); delete imP; } }

---

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

• OsiRowCutDebugger.hpp

---