CbcFollowOn.hpp

Go to the documentation of this file.

// $Id$
// Copyright (C) 2002, International Business Machines
// Corporation and others.  All Rights Reserved.
// This code is licensed under the terms of the Eclipse Public License (EPL).
 
// Edwin 11/10/2009-- carved out of CbcBranchActual
 
#ifndef CbcFollowOn_H
#define CbcFollowOn_H
 
#include "CbcBranchBase.hpp"
#include "OsiRowCut.hpp"
#include "CoinHelperFunctions.hpp"
#include "CoinPackedMatrix.hpp"
 
class CbcFollowOn : public CbcObject {
 
public:
  // Default Constructor
  CbcFollowOn();
 
  CbcFollowOn(CbcModel *model);
 
  // Copy constructor
  CbcFollowOn(const CbcFollowOn &);
 
  virtual CbcObject *clone() const;
 
  // Assignment operator
  CbcFollowOn &operator=(const CbcFollowOn &rhs);
 
  // Destructor
  ~CbcFollowOn();
 
  virtual double infeasibility(const OsiBranchingInformation *info,
    int &preferredWay) const;
 
  using CbcObject::feasibleRegion;
  virtual void feasibleRegion();
 
  virtual CbcBranchingObject *createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way);
  virtual int gutsOfFollowOn(int &otherRow, int &preferredWay) const;
 
protected:
  CoinPackedMatrix matrix_;
  CoinPackedMatrix matrixByRow_;
  int *rhs_;
};
 
class CbcFixingBranchingObject : public CbcBranchingObject {
 
public:
  // Default Constructor
  CbcFixingBranchingObject();
 
  // Useful constructor
  CbcFixingBranchingObject(CbcModel *model,
    int way,
    int numberOnDownSide, const int *down,
    int numberOnUpSide, const int *up);
 
  // Copy constructor
  CbcFixingBranchingObject(const CbcFixingBranchingObject &);
 
  // Assignment operator
  CbcFixingBranchingObject &operator=(const CbcFixingBranchingObject &rhs);
 
  virtual CbcBranchingObject *clone() const;
 
  // Destructor
  virtual ~CbcFixingBranchingObject();
 
  using CbcBranchingObject::branch;
  virtual double branch();
 
#ifdef JJF_ZERO
  // No need to override. Default works fine.
  virtual void previousBranch();
#endif
 
  using CbcBranchingObject::print;
  virtual void print();
 
  virtual CbcBranchObjType type() const
  {
    return FollowOnBranchObj;
  }
 
  virtual int compareOriginalObject(const CbcBranchingObject *brObj) const;
 
  virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap = false);
 
private:
  int numberDown_;
  int numberUp_;
  int *downList_;
  int *upList_;
};
 
class CbcIdiotBranch : public CbcObject {
 
public:
  // Default Constructor
  CbcIdiotBranch();
 
  CbcIdiotBranch(CbcModel *model);
 
  // Copy constructor
  CbcIdiotBranch(const CbcIdiotBranch &);
 
  virtual CbcObject *clone() const;
 
  // Assignment operator
  CbcIdiotBranch &operator=(const CbcIdiotBranch &rhs);
 
  // Destructor
  ~CbcIdiotBranch();
 
  virtual double infeasibility(const OsiBranchingInformation *info,
    int &preferredWay) const;
 
  using CbcObject::feasibleRegion;
  virtual void feasibleRegion();
 
  virtual CbcBranchingObject *createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way);
  virtual void initializeForBranching(CbcModel *);
 
protected:
  OsiRowCut buildCut(const OsiBranchingInformation *info, int type, int &preferredWay) const;
  mutable CoinThreadRandom randomNumberGenerator_;
  mutable CoinThreadRandom savedRandomNumberGenerator_;
};
 
#endif
 
/* vi: softtabstop=2 shiftwidth=2 expandtab tabstop=2
*/