5#ifndef OsiRowCutDebugger_H
6#define OsiRowCutDebugger_H
44 const std::string &mpsDir);
101 bool keepContinuous =
false);
153 bool enforceOptimality =
false);
Collections of row cuts and column cuts.
Validate cuts against a known solution.
int printOptimalSolution(const OsiSolverInterface &si) const
Print optimal solution (returns -1 bad debug, 0 on optimal, 1 not)
int numberColumns_
Number of columns in known solution.
double knownValue_
Value of known solution.
OsiRowCutDebugger(const OsiSolverInterface &si, const char *model)
Constructor with name of model.
OsiRowCutDebugger(const OsiSolverInterface &si, const double *solution, bool enforceOptimality=false)
Constructor with full solution.
bool * integerVariable_
array specifying integer variables
virtual bool invalidCut(const OsiRowCut &rowcut) const
Check that the cut does not cut off the solution known to the debugger.
bool activate(const OsiSolverInterface &si, const char *model)
Activate a debugger using the name of a problem.
double optimalValue() const
Return the value of the objective for the known solution.
const double * optimalSolution() const
Return the known solution.
virtual int validateCuts(const OsiCuts &cs, int first, int last) const
Check that the set of cuts does not cut off the solution known to the debugger.
bool onOptimalPath(const OsiSolverInterface &si) const
Returns true if the solution held in the solver is compatible with the known solution.
int numberColumns() const
Return the number of columns in the known solution.
friend void OsiRowCutDebuggerUnitTest(const OsiSolverInterface *siP, const std::string &mpsDir)
A function that tests the methods in the OsiRowCutDebugger class.
void redoSolution(int numberColumns, const int *originalColumns)
Edit the known solution to reflect column changes.
virtual ~OsiRowCutDebugger()
Destructor.
bool active() const
Returns true if the debugger is active.
bool activate(const OsiSolverInterface &si, const double *solution, bool keepContinuous=false)
Activate a debugger using a full solution array.
double * knownSolution_
array specifying known solution
OsiRowCutDebugger()
Default constructor - no checking.
OsiRowCutDebugger & operator=(const OsiRowCutDebugger &rhs)
Assignment operator.
OsiRowCutDebugger(const OsiRowCutDebugger &)
Copy constructor.
Abstract Base Class for describing an interface to a solver.