CbcClique.hpp

Go to the documentation of this file.

// $Id: CbcClique.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/9/2009-- carved out of CbcBranchActual

#ifndef CbcClique_H
#define CbcClique_H

class CbcClique : public CbcObject {

public:
  CbcClique();

  CbcClique(CbcModel *model, int cliqueType, int numberMembers,
    const int *which, const char *type,
    int identifier, int slack = -1);

  CbcClique(const CbcClique &);

  virtual CbcObject *clone() const;

  CbcClique &operator=(const CbcClique &rhs);

  virtual ~CbcClique();

  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);
  inline int numberMembers() const
  {
    return numberMembers_;
  }
  inline int numberNonSOSMembers() const
  {
    return numberNonSOSMembers_;
  }

  inline const int *members() const
  {
    return members_;
  }

  inline char type(int index) const
  {
    if (type_)
      return type_[index];
    else
      return 1;
  }

  inline int cliqueType() const
  {
    return cliqueType_;
  }
  virtual void redoSequenceEtc(CbcModel *model, int numberColumns, const int *originalColumns);

protected:
  int numberMembers_;

  int numberNonSOSMembers_;

  int *members_;

  char *type_;

  int cliqueType_;

  int slack_;
};

class CbcCliqueBranchingObject : public CbcBranchingObject {

public:
  // Default Constructor
  CbcCliqueBranchingObject();

  // Useful constructor
  CbcCliqueBranchingObject(CbcModel *model, const CbcClique *clique,
    int way,
    int numberOnDownSide, const int *down,
    int numberOnUpSide, const int *up);

  // Copy constructor
  CbcCliqueBranchingObject(const CbcCliqueBranchingObject &);

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

  virtual CbcBranchingObject *clone() const;

  // Destructor
  virtual ~CbcCliqueBranchingObject();

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

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

  virtual CbcBranchObjType type() const
  {
    return CliqueBranchObj;
  }

  virtual int compareOriginalObject(const CbcBranchingObject *brObj) const;

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

private:
  const CbcClique *clique_;
  unsigned int downMask_[2];
  unsigned int upMask_[2];
};

class CbcLongCliqueBranchingObject : public CbcBranchingObject {

public:
  // Default Constructor
  CbcLongCliqueBranchingObject();

  // Useful constructor
  CbcLongCliqueBranchingObject(CbcModel *model, const CbcClique *clique,
    int way,
    int numberOnDownSide, const int *down,
    int numberOnUpSide, const int *up);

  // Copy constructor
  CbcLongCliqueBranchingObject(const CbcLongCliqueBranchingObject &);

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

  virtual CbcBranchingObject *clone() const;

  // Destructor
  virtual ~CbcLongCliqueBranchingObject();

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

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

  virtual CbcBranchObjType type() const
  {
    return LongCliqueBranchObj;
  }

  virtual int compareOriginalObject(const CbcBranchingObject *brObj) const;

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

private:
  const CbcClique *clique_;
  unsigned int *downMask_;
  unsigned int *upMask_;
};

#endif

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