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

/* vi: softtabstop=2 shiftwidth=2 expandtab tabstop=2
*/