CbcClique.hpp

Go to the documentation of this file.

// $Id: CbcClique.hpp 1899 2013-04-09 18:12:08Z stefan $
// 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