OsiRowCutDebugger.hpp

Go to the documentation of this file.

// Copyright (C) 2000, International Business Machines
// Corporation and others.  All Rights Reserved.
// This code is licensed under the terms of the Eclipse Public License (EPL).

#ifndef OsiRowCutDebugger_H
#define OsiRowCutDebugger_H

#include <string>

#include "OsiCuts.hpp"
#include "OsiSolverInterface.hpp"

class OsiRowCutDebugger {
  friend void OsiRowCutDebuggerUnitTest(const OsiSolverInterface * siP,    
                                        const std::string & mpsDir);

public:
  
  virtual int validateCuts(const OsiCuts & cs, int first, int last) const;

  virtual bool invalidCut(const OsiRowCut & rowcut) const;

  bool onOptimalPath(const OsiSolverInterface &si) const;

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

  bool activate(const OsiSolverInterface &si, const double* solution,
                bool keepContinuous = false) ;

  bool active() const;

  inline const double * optimalSolution() const
  { return knownSolution_;}

  inline int numberColumns() const { return (numberColumns_) ; }

  inline double optimalValue() const { return knownValue_;}

  void redoSolution(int numberColumns, const int *originalColumns);

  int printOptimalSolution(const OsiSolverInterface & si) const;

  OsiRowCutDebugger ();

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

  OsiRowCutDebugger(const OsiSolverInterface &si, const double *solution,
                    bool enforceOptimality = false) ;
 
  OsiRowCutDebugger(const OsiRowCutDebugger &);

  OsiRowCutDebugger& operator=(const OsiRowCutDebugger& rhs);
  
  virtual ~OsiRowCutDebugger ();
      
private:
  
  // Private member data

  double knownValue_;

  int numberColumns_;

  bool * integerVariable_;

  double * knownSolution_;
};
  
#endif