Osi  0.107.9
OsiRowCutDebugger.hpp
Go to the documentation of this file.
1 // Copyright (C) 2000, International Business Machines
2 // Corporation and others. All Rights Reserved.
3 // This code is licensed under the terms of the Eclipse Public License (EPL).
4 
5 #ifndef OsiRowCutDebugger_H
6 #define OsiRowCutDebugger_H
7 
14 #include <string>
15 
16 #include "OsiCuts.hpp"
17 #include "OsiSolverInterface.hpp"
18 
43  friend void OsiRowCutDebuggerUnitTest(const OsiSolverInterface * siP,
44  const std::string & mpsDir);
45 
46 public:
47 
59  virtual int validateCuts(const OsiCuts & cs, int first, int last) const;
60 
66  virtual bool invalidCut(const OsiRowCut & rowcut) const;
67 
74  bool onOptimalPath(const OsiSolverInterface &si) const;
76 
88  bool activate(const OsiSolverInterface &si, const char *model) ;
89 
101  bool activate(const OsiSolverInterface &si, const double* solution,
102  bool keepContinuous = false) ;
103 
105  bool active() const;
107 
110  inline const double * optimalSolution() const
112  { return knownSolution_;}
113 
115  inline int numberColumns() const { return (numberColumns_) ; }
116 
118  inline double optimalValue() const { return knownValue_;}
119 
130  void redoSolution(int numberColumns, const int *originalColumns);
131 
133  int printOptimalSolution(const OsiSolverInterface & si) const;
135 
140 
145  OsiRowCutDebugger(const OsiSolverInterface &si, const char *model) ;
146 
151  OsiRowCutDebugger(const OsiSolverInterface &si, const double *solution,
152  bool enforceOptimality = false) ;
153 
156 
159 
161  virtual ~OsiRowCutDebugger ();
163 
164 private:
165 
166  // Private member data
167 
170  double knownValue_;
172 
178 
181 
183  double * knownSolution_;
185 };
186 
187 #endif
void redoSolution(int numberColumns, const int *originalColumns)
Edit the known solution to reflect column changes.
virtual ~OsiRowCutDebugger()
Destructor.
Collections of row cuts and column cuts.
Definition: OsiCuts.hpp:19
Abstract Base Class for describing an interface to a solver.
bool active() const
Returns true if the debugger is active.
Row Cut Class.
Definition: OsiRowCut.hpp:29
int numberColumns() const
Return the number of columns in the known solution.
bool onOptimalPath(const OsiSolverInterface &si) const
Returns true if the solution held in the solver is compatible with the known solution.
const double * optimalSolution() const
Return the known solution.
friend void OsiRowCutDebuggerUnitTest(const OsiSolverInterface *siP, const std::string &mpsDir)
A function that tests the methods in the OsiRowCutDebugger class.
bool * integerVariable_
array specifying integer variables
bool activate(const OsiSolverInterface &si, const char *model)
Activate a debugger using the name of a problem.
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.
Validate cuts against a known solution.
double * knownSolution_
array specifying known solution
OsiRowCutDebugger & operator=(const OsiRowCutDebugger &rhs)
Assignment operator.
int printOptimalSolution(const OsiSolverInterface &si) const
Print optimal solution (returns -1 bad debug, 0 on optimal, 1 not)
double optimalValue() const
Return the value of the objective for the known solution.
OsiRowCutDebugger()
Default constructor - no checking.
int numberColumns_
Number of columns in known solution.
double knownValue_
Value of known solution.
virtual bool invalidCut(const OsiRowCut &rowcut) const
Check that the cut does not cut off the solution known to the debugger.