CbcClique.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/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
*/