CbcFollowOn.hpp

Go to the documentation of this file.

// $Id: CbcFollowOn.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/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