CbcFollowOn.hpp

Go to the documentation of this file.

// $Id: CbcFollowOn.hpp 2465 2019-01-03 19:26:52Z unxusr $
// 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
*/