Cbc  2.10.5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Member Functions | Protected Attributes | List of all members
CbcFollowOn2 Class Reference

Define a follow on class. More...

#include <CbcBranchFollow2.hpp>

+ Inheritance diagram for CbcFollowOn2:
+ Collaboration diagram for CbcFollowOn2:

Public Member Functions

 CbcFollowOn2 ()
 
 CbcFollowOn2 (CbcModel *model)
 Useful constructor. More...
 
 CbcFollowOn2 (const CbcFollowOn2 &)
 
virtual CbcObjectclone () const
 Clone. More...
 
CbcFollowOn2operator= (const CbcFollowOn2 &rhs)
 
 ~CbcFollowOn2 ()
 
virtual double infeasibility (int &preferredWay) const
 Infeasibility - large is 0.5. More...
 
virtual void feasibleRegion ()
 This looks at solution and sets bounds to contain solution. More...
 
virtual CbcBranchingObjectcreateBranch (int way)
 Creates a branching object. More...
 
virtual int gutsOfFollowOn2 (int &otherRow, int &preferredWay, int &effectiveRhs) const
 As some computation is needed in more than one place - returns row. More...
 
int maximumRhs () const
 get and set for maximum rhws (affects cuts as branch) More...
 
void setMaximumRhs (int value)
 
- Public Member Functions inherited from CbcObject
 CbcObject ()
 
 CbcObject (CbcModel *model)
 
 CbcObject (const CbcObject &)
 
CbcObjectoperator= (const CbcObject &rhs)
 
virtual ~CbcObject ()
 Destructor. More...
 
virtual double infeasibility (const OsiBranchingInformation *, int &preferredWay) const
 Infeasibility of the object. More...
 
virtual double feasibleRegion (OsiSolverInterface *solver, const OsiBranchingInformation *info) const
 Dummy one for compatibility. More...
 
virtual double feasibleRegion (OsiSolverInterface *solver) const
 For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution. More...
 
virtual CbcBranchingObjectcreateCbcBranch (OsiSolverInterface *, const OsiBranchingInformation *, int)
 Create a branching object and indicate which way to branch first. More...
 
virtual OsiBranchingObjectcreateBranch (OsiSolverInterface *, const OsiBranchingInformation *, int) const
 Create a branching object and indicate which way to branch first. More...
 
virtual OsiBranchingObjectcreateOsiBranch (OsiSolverInterface *solver, const OsiBranchingInformation *info, int way) const
 Create an Osibranching object and indicate which way to branch first. More...
 
virtual OsiSolverBranchsolverBranch () const
 Create an OsiSolverBranch object. More...
 
virtual CbcBranchingObjectpreferredNewFeasible () const
 Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a good direction. More...
 
virtual CbcBranchingObjectnotPreferredNewFeasible () const
 Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in a bad direction. More...
 
virtual void resetBounds (const OsiSolverInterface *)
 Reset variable bounds to their original values. More...
 
virtual void floorCeiling (double &floorValue, double &ceilingValue, double value, double tolerance) const
 Returns floor and ceiling i.e. More...
 
virtual CbcObjectUpdateData createUpdateInformation (const OsiSolverInterface *solver, const CbcNode *node, const CbcBranchingObject *branchingObject)
 Pass in information on branch just done and create CbcObjectUpdateData instance. More...
 
virtual void updateInformation (const CbcObjectUpdateData &)
 Update object by CbcObjectUpdateData. More...
 
int id () const
 Identifier (normally column number in matrix) More...
 
void setId (int value)
 Set identifier (normally column number in matrix) but 1000000000 to 1100000000 means optional branching object i.e. More...
 
bool optionalObject () const
 Return true if optional branching object i.e. More...
 
int position () const
 Get position in object_ list. More...
 
void setPosition (int position)
 Set position in object_ list. More...
 
void setModel (CbcModel *model)
 update model More...
 
CbcModelmodel () const
 Return model. More...
 
int preferredWay () const
 If -1 down always chosen first, +1 up always, 0 normal. More...
 
void setPreferredWay (int value)
 Set -1 down always chosen first, +1 up always, 0 normal. More...
 
virtual void redoSequenceEtc (CbcModel *, int, const int *)
 Redoes data when sequence numbers change. More...
 
virtual void initializeForBranching (CbcModel *)
 Initialize for branching. More...
 
- Public Member Functions inherited from OsiObject
 OsiObject ()
 Default Constructor. More...
 
 OsiObject (const OsiObject &)
 Copy constructor. More...
 
OsiObjectoperator= (const OsiObject &rhs)
 Assignment operator. More...
 
virtual ~OsiObject ()
 Destructor. More...
 
double infeasibility (const OsiSolverInterface *solver, int &whichWay) const
 Infeasibility of the object. More...
 
virtual double checkInfeasibility (const OsiBranchingInformation *info) const
 
virtual bool canDoHeuristics () const
 Return true if object can take part in normal heuristics. More...
 
virtual bool canMoveToNearest () const
 Return true if object can take part in move to nearest heuristic. More...
 
virtual int columnNumber () const
 Column number if single column object -1 otherwise, Used by heuristics. More...
 
int priority () const
 Return Priority - note 1 is highest priority. More...
 
void setPriority (int priority)
 Set priority. More...
 
virtual bool boundBranch () const
 Return true if branch should only bound variables. More...
 
virtual bool canHandleShadowPrices () const
 Return true if knows how to deal with Pseudo Shadow Prices. More...
 
int numberWays () const
 Return maximum number of ways branch may have. More...
 
void setNumberWays (int numberWays)
 Set maximum number of ways branch may have. More...
 
void setWhichWay (int way)
 Return preferred way to branch. More...
 
int whichWay () const
 Return current preferred way to branch. More...
 
double infeasibility () const
 Return infeasibility. More...
 
virtual double upEstimate () const
 Return "up" estimate (default 1.0e-5) More...
 
virtual double downEstimate () const
 Return "down" estimate (default 1.0e-5) More...
 
virtual void resetSequenceEtc (int, const int *)
 Change column numbers after preprocessing. More...
 
virtual void updateBefore (const OsiObject *)
 Updates stuff like pseudocosts before threads. More...
 
virtual void updateAfter (const OsiObject *, const OsiObject *)
 Updates stuff like pseudocosts after threads finished. More...
 

Protected Attributes

CoinPackedMatrix matrix_
 data Matrix More...
 
CoinPackedMatrix matrixByRow_
 Matrix by row. More...
 
int * rhs_
 Possible rhs (if 0 then not possible) More...
 
int maximumRhs_
 If >1 then allow cuts if effective rhs <= this. More...
 
- Protected Attributes inherited from CbcObject
CbcModelmodel_
 data More...
 
int id_
 Identifier (normally column number in matrix) More...
 
int position_
 Position in object list. More...
 
int preferredWay_
 If -1 down always chosen first, +1 up always, 0 normal. More...
 
- Protected Attributes inherited from OsiObject
double infeasibility_
 data More...
 
short whichWay_
 Computed preferred way to branch. More...
 
short numberWays_
 Maximum number of ways on branch. More...
 
int priority_
 Priority. More...
 

Detailed Description

Define a follow on class.

The idea of this is that in air-crew scheduling problems crew may fly in on flight A and out on flight B or on some other flight. A useful branch is one which on one side fixes all which go out on flight B to 0, while the other branch fixes all those that do NOT go out on flight B to 0.

This tries to generalize so that cuts are produced with sum aij xj <= bi on each side. It should be intelligent enough to fix if things can be fixed. We also need to make sure branch cuts work properly (i.e. persistence).

This branching rule should be in addition to normal rules and have a high priority.

Definition at line 25 of file CbcBranchFollow2.hpp.

Constructor & Destructor Documentation

CbcFollowOn2::CbcFollowOn2 ( )
CbcFollowOn2::CbcFollowOn2 ( CbcModel model)

Useful constructor.

CbcFollowOn2::CbcFollowOn2 ( const CbcFollowOn2 )
CbcFollowOn2::~CbcFollowOn2 ( )

Member Function Documentation

virtual CbcObject* CbcFollowOn2::clone ( ) const
virtual

Clone.

Implements CbcObject.

CbcFollowOn2& CbcFollowOn2::operator= ( const CbcFollowOn2 rhs)
virtual double CbcFollowOn2::infeasibility ( int &  preferredWay) const
virtual

Infeasibility - large is 0.5.

Reimplemented from CbcObject.

virtual void CbcFollowOn2::feasibleRegion ( )
virtual

This looks at solution and sets bounds to contain solution.

Implements CbcObject.

virtual CbcBranchingObject* CbcFollowOn2::createBranch ( int  way)
virtual

Creates a branching object.

virtual int CbcFollowOn2::gutsOfFollowOn2 ( int &  otherRow,
int &  preferredWay,
int &  effectiveRhs 
) const
virtual

As some computation is needed in more than one place - returns row.

Also returns other row and effective rhs (so we can know if cut)

int CbcFollowOn2::maximumRhs ( ) const
inline

get and set for maximum rhws (affects cuts as branch)

Definition at line 61 of file CbcBranchFollow2.hpp.

void CbcFollowOn2::setMaximumRhs ( int  value)
inline

Definition at line 65 of file CbcBranchFollow2.hpp.

Member Data Documentation

CoinPackedMatrix CbcFollowOn2::matrix_
protected

data Matrix

Definition at line 73 of file CbcBranchFollow2.hpp.

CoinPackedMatrix CbcFollowOn2::matrixByRow_
protected

Matrix by row.

Definition at line 75 of file CbcBranchFollow2.hpp.

int* CbcFollowOn2::rhs_
protected

Possible rhs (if 0 then not possible)

Definition at line 77 of file CbcBranchFollow2.hpp.

int CbcFollowOn2::maximumRhs_
protected

If >1 then allow cuts if effective rhs <= this.

Definition at line 79 of file CbcBranchFollow2.hpp.


The documentation for this class was generated from the following file: