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
CbcBranchAllDifferent Class Reference

Define a branch class that branches so that it is only satsified if all members have different values So cut is x <= y-1 or x >= y+1. More...

#include <CbcBranchAllDifferent.hpp>

+ Inheritance diagram for CbcBranchAllDifferent:
+ Collaboration diagram for CbcBranchAllDifferent:

Public Member Functions

 CbcBranchAllDifferent ()
 
 CbcBranchAllDifferent (CbcModel *model, int number, const int *which)
 Useful constructor - passed set of integer variables which must all be different. More...
 
 CbcBranchAllDifferent (const CbcBranchAllDifferent &)
 
virtual CbcObjectclone () const
 Clone. More...
 
CbcBranchAllDifferentoperator= (const CbcBranchAllDifferent &rhs)
 
 ~CbcBranchAllDifferent ()
 
virtual double infeasibility (const OsiBranchingInformation *info, int &preferredWay) const
 Infeasibility - large is 0.5. More...
 
virtual CbcBranchingObjectcreateCbcBranch (OsiSolverInterface *solver, const OsiBranchingInformation *info, int way)
 Creates a branching object. More...
 
- Public Member Functions inherited from CbcBranchCut
 CbcBranchCut ()
 
 CbcBranchCut (CbcModel *model)
 In to maintain normal methods. More...
 
 CbcBranchCut (const CbcBranchCut &)
 
CbcBranchCutoperator= (const CbcBranchCut &rhs)
 
 ~CbcBranchCut ()
 
virtual void feasibleRegion ()
 Set bounds to contain the current solution. More...
 
virtual bool boundBranch () const
 Return true if branch created by object should fix variables. More...
 
virtual CbcBranchingObjectpreferredNewFeasible () const
 Given a valid solution (with reduced costs, etc.), return a branching object which would give a new feasible point in the 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 ()
 Reset original upper and lower bound values from the solver. More...
 
- Public Member Functions inherited from CbcObject
 CbcObject ()
 
 CbcObject (CbcModel *model)
 
 CbcObject (const CbcObject &)
 
CbcObjectoperator= (const CbcObject &rhs)
 
virtual ~CbcObject ()
 Destructor. More...
 
virtual double infeasibility (int &) const
 
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 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 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 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

int numberInSet_
 data More...
 
int * which_
 Which variables. 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 branch class that branches so that it is only satsified if all members have different values So cut is x <= y-1 or x >= y+1.

Definition at line 21 of file CbcBranchAllDifferent.hpp.

Constructor & Destructor Documentation

CbcBranchAllDifferent::CbcBranchAllDifferent ( )
CbcBranchAllDifferent::CbcBranchAllDifferent ( CbcModel model,
int  number,
const int *  which 
)

Useful constructor - passed set of integer variables which must all be different.

CbcBranchAllDifferent::CbcBranchAllDifferent ( const CbcBranchAllDifferent )
CbcBranchAllDifferent::~CbcBranchAllDifferent ( )

Member Function Documentation

virtual CbcObject* CbcBranchAllDifferent::clone ( ) const
virtual

Clone.

Reimplemented from CbcBranchCut.

CbcBranchAllDifferent& CbcBranchAllDifferent::operator= ( const CbcBranchAllDifferent rhs)
virtual double CbcBranchAllDifferent::infeasibility ( const OsiBranchingInformation info,
int &  preferredWay 
) const
virtual

Infeasibility - large is 0.5.

Reimplemented from CbcBranchCut.

virtual CbcBranchingObject* CbcBranchAllDifferent::createCbcBranch ( OsiSolverInterface solver,
const OsiBranchingInformation info,
int  way 
)
virtual

Creates a branching object.

Reimplemented from CbcBranchCut.

Member Data Documentation

int CbcBranchAllDifferent::numberInSet_
protected

data

Number of entries

Definition at line 54 of file CbcBranchAllDifferent.hpp.

int* CbcBranchAllDifferent::which_
protected

Which variables.

Definition at line 56 of file CbcBranchAllDifferent.hpp.


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