/home/coin/SVN-release/CoinAll-1.1.0/Cbc/src/CbcBranchCut.hpp

Go to the documentation of this file.

// Copyright (C) 2004, International Business Machines
// Corporation and others.  All Rights Reserved.
#ifndef CbcBranchCut_H
#define CbcBranchCut_H

#include "CbcBranchBase.hpp"
#include "OsiRowCut.hpp"
#include "CoinPackedMatrix.hpp"

class CbcBranchCut : public CbcObject {

public:

  // Default Constructor 
  CbcBranchCut ();

  CbcBranchCut (CbcModel * model);
  // Copy constructor 
  CbcBranchCut ( const CbcBranchCut &);
   
  virtual CbcObject * clone() const;

  // Assignment operator 
  CbcBranchCut & operator=( const CbcBranchCut& rhs);

  // Destructor 
  ~CbcBranchCut ();
  
  using CbcObject::infeasibility ;
  virtual double infeasibility(int & preferredWay) const;

  using CbcObject::feasibleRegion ;
  virtual void feasibleRegion();

  virtual bool boundBranch() const ;

  using CbcObject::createBranch ;
  virtual CbcBranchingObject * createBranch(int way) ;

  virtual CbcBranchingObject * preferredNewFeasible() const;
  
  virtual CbcBranchingObject * notPreferredNewFeasible() const ;
  
  using CbcObject::resetBounds ;
  virtual void resetBounds();
  

protected:

};


class CbcCutBranchingObject : public CbcBranchingObject {

public:

  CbcCutBranchingObject ();

  CbcCutBranchingObject (CbcModel * model, OsiRowCut & down, OsiRowCut &up, bool canFix);
  
  CbcCutBranchingObject ( const CbcCutBranchingObject &);
   
  CbcCutBranchingObject & operator= (const CbcCutBranchingObject& rhs);

  virtual CbcBranchingObject * clone() const;

  virtual ~CbcCutBranchingObject ();
  
  using CbcBranchingObject::branch ;
  virtual double branch();

#if 0
  // No need to override. Default works fine.
  virtual void previousBranch();
#endif

  using CbcBranchingObject::print ;
  virtual void print();

  virtual bool boundBranch() const;

  virtual int type() const { return 200; }

  virtual int compareOriginalObject(const CbcBranchingObject* brObj) const;

  virtual CbcRangeCompare compareBranchingObject
  (const CbcBranchingObject* brObj, const bool replaceIfOverlap = false);

protected:
  OsiRowCut down_;
  OsiRowCut up_;
  bool canFix_;
};


class CbcBranchToFixLots : public CbcBranchCut {

public:

  // Default Constructor 
  CbcBranchToFixLots ();

  CbcBranchToFixLots (CbcModel * model, double djTolerance,
                      double fractionFixed, int depth,
                      int numberClean=0,
                      const char * mark=NULL,
                      bool alwaysCreate=false);
  
  // Copy constructor 
  CbcBranchToFixLots ( const CbcBranchToFixLots &);
   
  virtual CbcObject * clone() const;

  // Assignment operator 
  CbcBranchToFixLots & operator=( const CbcBranchToFixLots& rhs);

  // Destructor 
  ~CbcBranchToFixLots ();

  int shallWe() const;

  using CbcObject::infeasibility ;
  virtual double infeasibility(int & preferredWay) const;

  using CbcObject::createBranch ;
  virtual CbcBranchingObject * createBranch(int way);


protected:

  double djTolerance_;
  double fractionFixed_;
  char * mark_;
  CoinPackedMatrix matrixByRow_; 
  int depth_;
  int numberClean_;
  bool alwaysCreate_;
};

class CbcBranchAllDifferent : public CbcBranchCut {

public:

  // Default Constructor 
  CbcBranchAllDifferent ();

  CbcBranchAllDifferent (CbcModel * model, int number,const int * which);
  
  // Copy constructor 
  CbcBranchAllDifferent ( const CbcBranchAllDifferent &);
   
  virtual CbcObject * clone() const;

  // Assignment operator 
  CbcBranchAllDifferent & operator=( const CbcBranchAllDifferent& rhs);

  // Destructor 
  ~CbcBranchAllDifferent ();

  using CbcObject::infeasibility ;
  virtual double infeasibility(int & preferredWay) const;

  using CbcObject::createBranch ;
  virtual CbcBranchingObject * createBranch(int way);


protected:

  int numberInSet_;
  int * which_;
};
#endif

---