CbcClique.hpp

Go to the documentation of this file.

// Edwin 11/9/2009-- carved out of CbcBranchActual
#ifndef CbcClique_H
#define CbcClique_H


class CbcClique : public CbcObject {

public:

    // Default Constructor
    CbcClique ();

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

    // Copy constructor
    CbcClique ( const CbcClique &);

    virtual CbcObject * clone() const;

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

    // Destructor
    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