CouenneVarObject.hpp

Go to the documentation of this file.

/* $Id: CouenneVarObject.hpp 522 2011-03-07 21:13:46Z pbelotti $
 *
 * Name:    CouenneVarObject.hpp
 * Authors: Pietro Belotti, Carnegie Mellon University
 * Purpose: Object for branching on variables
 *
 * (C) Carnegie-Mellon University, 2008-11.
 * This file is licensed under the Eclipse Public License (EPL)
 */

#ifndef COUENNEVAROBJECT_HPP
#define COUENNEVAROBJECT_HPP

#include "CouenneObject.hpp"

namespace Couenne {

class CouenneProblem;


class CouenneVarObject: public CouenneObject {

public:

  CouenneVarObject (CouenneCutGenerator *c,
                    CouenneProblem *p, 
                    exprVar *ref, 
                    Bonmin::BabSetupBase *base, 
                    JnlstPtr jnlst,
                    int varSelection); //< either OSI_SIMPLE or OSI_STRONG

  CouenneVarObject (const CouenneVarObject &src):
    CouenneObject (src),
    varSelection_ (src.varSelection_) {}

  ~CouenneVarObject () {}

  virtual CouenneObject *clone () const
  {return new CouenneVarObject (*this);}

  virtual double infeasibility (const OsiBranchingInformation *info, int &way) const;

  virtual double checkInfeasibility (const OsiBranchingInformation * info) const;

  virtual OsiBranchingObject *createBranch (OsiSolverInterface*, 
                                            const OsiBranchingInformation*, int) const;

  virtual double feasibleRegion (OsiSolverInterface *, const OsiBranchingInformation *) const;

  virtual bool isCuttable () const;

protected:

  int varSelection_;

  CouNumber computeBranchingPoint (const OsiBranchingInformation *info, 
                                   int& bestWay, 
                                   const CouenneObject *&criticalObject) const;
};

}

#endif