Cbc  2.10.5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
CbcBranchCut.hpp
Go to the documentation of this file.
1 /* $Id: CbcBranchCut.hpp 2465 2019-01-03 19:26:52Z unxusr $ */
2 // Copyright (C) 2004, International Business Machines
3 // Corporation and others. All Rights Reserved.
4 // This code is licensed under the terms of the Eclipse Public License (EPL).
5 
6 #ifndef CbcBranchCut_H
7 #define CbcBranchCut_H
8 
9 #include "CbcBranchBase.hpp"
10 #include "OsiRowCut.hpp"
11 #include "CoinPackedMatrix.hpp"
12 
17 class CbcBranchCut : public CbcObject {
18 
19 public:
20  // Default Constructor
21  CbcBranchCut();
22 
26  // Copy constructor
27  CbcBranchCut(const CbcBranchCut &);
28 
30  virtual CbcObject *clone() const;
31 
32  // Assignment operator
33  CbcBranchCut &operator=(const CbcBranchCut &rhs);
34 
35  // Destructor
36  ~CbcBranchCut();
37 
39  virtual double infeasibility(const OsiBranchingInformation *info,
40  int &preferredWay) const;
41 
52  virtual void feasibleRegion();
53 
56  virtual bool boundBranch() const;
57 
59  virtual CbcBranchingObject *createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way);
60 
77 
88 
95  virtual void resetBounds();
96 
97 protected:
99 };
106 
107 public:
110 
116  CbcCutBranchingObject(CbcModel *model, OsiRowCut &down, OsiRowCut &up, bool canFix);
117 
120 
123 
125  virtual CbcBranchingObject *clone() const;
126 
128  virtual ~CbcCutBranchingObject();
129 
135  virtual double branch();
136 
140  virtual void print();
141 
144  virtual bool boundBranch() const;
145 
147  virtual CbcBranchObjType type() const
148  {
149  return CutBranchingObj;
150  }
151 
159  virtual int compareOriginalObject(const CbcBranchingObject *brObj) const;
160 
169  virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap = false);
170 
171 protected:
177  bool canFix_;
178 };
179 #endif
180 
181 /* vi: softtabstop=2 shiftwidth=2 expandtab tabstop=2
182 */
virtual int compareOriginalObject(const CbcBranchingObject *brObj) const
Compare the original object of this with the original object of brObj.
virtual void feasibleRegion()=0
For the variable(s) referenced by the object, look at the current solution and set bounds to match th...
Define a cut branching class.
CbcRangeCompare
bool canFix_
True if one way can fix variables.
CbcCutBranchingObject & operator=(const CbcCutBranchingObject &rhs)
Assignment operator.
CbcBranchCut & operator=(const CbcBranchCut &rhs)
virtual CbcBranchingObject * createCbcBranch(OsiSolverInterface *solver, const OsiBranchingInformation *info, int way)
Creates a branching object.
virtual CbcRangeCompare compareBranchingObject(const CbcBranchingObject *brObj, const bool replaceIfOverlap=false)
Compare the this with brObj.
int preferredWay() const
If -1 down always chosen first, +1 up always, 0 normal.
Definition: CbcObject.hpp:258
Abstract Base Class for describing an interface to a solver.
virtual CbcObject * clone() const
Clone.
virtual CbcBranchingObject * preferredNewFeasible() const
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new f...
virtual void feasibleRegion()
Set bounds to contain the current solution.
OsiRowCut down_
Cut for the down arm (way_ = -1)
double infeasibility() const
Return infeasibility.
Cut branching object.
CbcCutBranchingObject()
Default constructor.
OsiRowCut up_
Cut for the up arm (way_ = 1)
CbcModel * model() const
Return model.
Definition: CbcObject.hpp:252
virtual CbcBranchingObject * clone() const
Clone.
Abstract branching object base class Now just difference with OsiBranchingObject. ...
virtual void print()
Print something about branch - only if log level high.
virtual void resetBounds(const OsiSolverInterface *)
Reset variable bounds to their original values.
Definition: CbcObject.hpp:195
CbcBranchObjType
Row Cut Class.
Definition: OsiRowCut.hpp:29
CbcModel * model() const
Return model.
virtual double branch()=0
Execute the actions required to branch, as specified by the current state of the branching object...
virtual void print() const
Print something about branch - only if log level high.
virtual double branch()
Sets the bounds for variables or adds a cut depending on the current arm of the branch and advances t...
virtual bool boundBranch() const
Return true if branch created by object should fix variables.
virtual void resetBounds()
Reset original upper and lower bound values from the solver.
virtual ~CbcCutBranchingObject()
Destructor.
virtual bool boundBranch() const
Return true if branch should fix variables.
virtual CbcBranchingObject * notPreferredNewFeasible() const
Given a valid solution (with reduced costs, etc.), return a branching object which would give a new f...
Simple Branch and bound class.
Definition: CbcModel.hpp:100
virtual CbcBranchObjType type() const
Return the type (an integer identifier) of this.