27 const std::string mpdDir );
99 virtual void generateCuts(
const OsiSolverInterface & si, OsiCuts & cs,
115 int snapshot (
const OsiSolverInterface & si,
116 char * possible=NULL,
117 bool withObjective=
true);
126 int minimumSize=2,
int maximumSize=100);
132 OsiSolverInterface *
cliqueModel(
const OsiSolverInterface * model,
144 {
return tightenBounds_;}
215 {
return numberThisTime_;}
231 unsigned int equality:1;
238 {
return numberCliques_;}
241 {
return cliqueType_;}
244 {
return cliqueStart_;}
247 {
return cliqueEntry_;}
264 void tightenThese(
const OsiSolverInterface & solver,
int number,
const int * which);
300 int probe(
const OsiSolverInterface & si,
302 const OsiRowCutDebugger * debugger,
304 double * colLower,
double * colUpper, CoinPackedMatrix *rowCopy,
305 CoinPackedMatrix *columnCopy,
const CoinBigIndex * rowStartPos,
306 const int * realRow,
const double * rowLower,
const double * rowUpper,
307 const char * intVar,
double * minR,
double * maxR,
int * markR,
310 int probeCliques(
const OsiSolverInterface & si,
311 const OsiRowCutDebugger * debugger,
313 double * colLower,
double * colUpper, CoinPackedMatrix *rowCopy,
314 CoinPackedMatrix *columnCopy,
const int * realRow,
315 double * rowLower,
double * rowUpper,
316 char * intVar,
double * minR,
double * maxR,
int * markR,
319 int probeSlacks(
const OsiSolverInterface & si,
320 const OsiRowCutDebugger * debugger,
322 double * colLower,
double * colUpper, CoinPackedMatrix *rowCopy,
323 CoinPackedMatrix *columnCopy,
324 double * rowLower,
double * rowUpper,
325 char * intVar,
double * minR,
double * maxR,
int * markR,
329 int gutsOfGenerateCuts(
const OsiSolverInterface & si,
331 double * rowLower,
double * rowUpper,
332 double * colLower,
double * colUpper,
335 void setupRowCliqueInformation(
const OsiSolverInterface & si);
338 int tighten(
double *colLower,
double * colUpper,
339 const int *column,
const double *rowElements,
340 const CoinBigIndex *rowStart,
const CoinBigIndex * rowStartPos,
341 const int * rowLength,
342 double *rowLower,
double *rowUpper,
343 int nRows,
int nCols,
char * intVar,
int maxpass,
346 void tighten2(
double *colLower,
double * colUpper,
347 const int *column,
const double *rowElements,
348 const CoinBigIndex *rowStart,
349 const int * rowLength,
350 double *rowLower,
double *rowUpper,
351 double * minR,
double * maxR,
int * markR,
357 struct disaggregation_struct_tag ;
362 CoinPackedMatrix * rowCopy_;
365 CoinPackedMatrix * columnCopy_;
379 double primalTolerance_;
406 int maxElementsRoot_;
412 int number01Integers_;
416 int totalTimesCalled_;
420 typedef struct disaggregation_struct_tag {
426 disaggregation * cutVector_;
452 int * cliqueRowStart_;
454 char * tightenBounds_;
468 { assert ((dis.
affected&0x80000000)!=0);
return true;}
473 {
return (dis.
affected&0x40000000)!=0;}
477 {
return (dis.
affected&0x20000000)!=0;}
479 { dis.
affected = (affectedToUB ? 0x20000000 : 0)|(dis.
affected&0xdfffffff);}
488 const std::string mpdDir );
499 virtual void generateCuts(
const OsiSolverInterface & si, OsiCuts & cs,
533 { probingInfo_=info;}
int getMaxPassRoot() const
Get maximum number of passes per node (root node)
int getMaxLook() const
Get maximum number of variables to look at in one probe.
This just uses implication info.
void setMaxElements(int value)
Set maximum number of elements in row for it to be considered.
int getMaxProbe() const
Get maximum number of unsatisfied variables to look at.
void setMaxLookRoot(int value)
Set maximum number of variables to look at in one probe (root node)
int numberCliques() const
Number of cliques.
void setMaxPass(int value)
Set maximum number of passes per node.
virtual CglCutGenerator * clone() const
Clone.
void setWhenAtUBInDisaggregation(disaggregationAction &dis, bool whenAtUB)
const double * relaxedRowLower() const
Lower.
CliqueEntry * cliqueEntry() const
Entries for clique.
virtual std::string generateCpp(FILE *fp)
Create C++ lines to get to current state.
Information about where the cut generator is invoked from.
int * cliqueStart() const
Start of each clique.
CliqueType * cliqueType() const
Clique type.
void setMode(int mode)
Set.
const int * lookedAt() const
Which ones looked at this time.
void setAffectedInDisaggregation(disaggregationAction &dis, int affected)
const char * tightenBounds() const
Array which says tighten continuous.
void deleteSnapshot()
Deletes snapshot.
int createCliques(OsiSolverInterface &si, int minimumSize=2, int maximumSize=100)
Creates cliques for use by probing.
const double * tightUpper() const
Upper.
void setMaxLook(int value)
Set maximum number of variables to look at in one probe.
void setMaxElementsRoot(int value)
Set maximum number of elements in row for it to be considered (root node)
OsiSolverInterface * cliqueModel(const OsiSolverInterface *model, int type)
Create a fake model by adding cliques if type&4 then delete rest of model first, if 1 then add proper...
Derived class to pick up probing info.
bool zeroOneInDisaggregation(const disaggregationAction &dis)
void setMaxProbe(int value)
Set maximum number of unsatisfied variables to look at.
Cut Generator Base Class.
virtual bool mayGenerateRowCutsInTree() const
Returns true if may generate Row cuts in tree (rather than root node).
friend struct CglProbing::disaggregation_struct_tag
Only useful type of disaggregation is most normal For now just done for 0-1 variables Can be used for...
CglProbing()
Default constructor.
bool affectedToUBInDisaggregation(const disaggregationAction &dis)
const double * relaxedRowUpper() const
Upper.
int getUsingObjective() const
Get.
virtual void generateCuts(const OsiSolverInterface &si, OsiCuts &cs, const CglTreeInfo info=CglTreeInfo())
Generate probing/disaggregation cuts for the model of the solver interface, si.
void setZeroOneInDisaggregation(disaggregationAction &dis, bool zeroOne)
int getMaxLookRoot() const
Get maximum number of variables to look at in one probe (root node)
int getMaxElements() const
Get maximum number of elements in row for it to be considered.
int numberThisTime() const
Number looked at this time.
const double * tightLower() const
Lower.
int getLogLevel() const
Get log level.
void setLogLevel(int value)
Set log level - 0 none, 1 - a bit, 2 - more details.
void setAffectedToUBInDisaggregation(disaggregationAction &dis, bool affectedToUB)
virtual void refreshSolver(OsiSolverInterface *solver)
This can be used to refresh any inforamtion.
void tightenThese(const OsiSolverInterface &solver, int number, const int *which)
Mark variables to be tightened.
int getMaxPass() const
Get maximum number of passes per node.
int snapshot(const OsiSolverInterface &si, char *possible=NULL, bool withObjective=true)
Create a copy of matrix which is to be used this is to speed up process and to give global cuts Can g...
void setUsingObjective(int yesNo)
Set 0 don't 1 do -1 don't even think about it.
friend void CglProbingUnitTest(const OsiSolverInterface *siP, const std::string mpdDir)
A function that tests the methods in the CglProbing class.
bool whenAtUBInDisaggregation(const disaggregationAction &dis)
int generateCutsAndModify(const OsiSolverInterface &si, OsiCuts &cs, CglTreeInfo *info)
void setMaxProbeRoot(int value)
Set maximum number of unsatisfied variables to look at (root node)
void setRowCuts(int type)
Set 0 no cuts, 1 just disaggregation type, 2 coefficient ( 3 both)
int getMaxElementsRoot() const
Get maximum number of elements in row for it to be considered (root node)
int affectedInDisaggregation(const disaggregationAction &dis)
virtual ~CglProbing()
Destructor.
Probing Cut Generator Class.
void setMaxPassRoot(int value)
Set maximum number of passes per node (root node)
CglProbing & operator=(const CglProbing &rhs)
Assignment operator.
void deleteCliques()
Delete all clique information.
int getMaxProbeRoot() const
Get maximum number of unsatisfied variables to look at (root node)