Cbc  trunk
Public Member Functions
CbcSOSBranchingObject Class Reference

Branching object for Special ordered sets. More...

#include <CbcSOS.hpp>

+ Inheritance diagram for CbcSOSBranchingObject:
+ Collaboration diagram for CbcSOSBranchingObject:

List of all members.

Public Member Functions

 CbcSOSBranchingObject ()
 CbcSOSBranchingObject (CbcModel *model, const CbcSOS *clique, int way, double separator)
 CbcSOSBranchingObject (const CbcSOSBranchingObject &)
CbcSOSBranchingObjectoperator= (const CbcSOSBranchingObject &rhs)
virtual CbcBranchingObjectclone () const
 Clone.
virtual ~CbcSOSBranchingObject ()
virtual double branch ()
 Does next branch and updates state.
virtual void fix (OsiSolverInterface *solver, double *lower, double *upper, int branchState) const
 Update bounds in solver as in 'branch' and update given bounds.
virtual void previousBranch ()
 Reset every information so that the branching object appears to point to the previous child.
virtual void print ()
 Print something about branch - only if log level high.
virtual CbcBranchObjType type () const
 Return the type (an integer identifier) of this.
virtual int compareOriginalObject (const CbcBranchingObject *brObj) const
 Compare the original object of this with the original object of brObj.
virtual CbcRangeCompare compareBranchingObject (const CbcBranchingObject *brObj, const bool replaceIfOverlap=false)
 Compare the this with brObj.
void computeNonzeroRange ()
 Fill out the firstNonzero_ and lastNonzero_ data members.

Detailed Description

Branching object for Special ordered sets.

Variable_ is the set id number (redundant, as the object also holds a pointer to the set.

Definition at line 189 of file CbcSOS.hpp.


Constructor & Destructor Documentation

CbcSOSBranchingObject::CbcSOSBranchingObject ( CbcModel model,
const CbcSOS clique,
int  way,
double  separator 
)

Member Function Documentation

CbcSOSBranchingObject& CbcSOSBranchingObject::operator= ( const CbcSOSBranchingObject rhs)
virtual CbcBranchingObject* CbcSOSBranchingObject::clone ( ) const [virtual]

Clone.

Implements CbcBranchingObject.

virtual double CbcSOSBranchingObject::branch ( ) [virtual]

Does next branch and updates state.

Implements CbcBranchingObject.

virtual void CbcSOSBranchingObject::fix ( OsiSolverInterface *  solver,
double *  lower,
double *  upper,
int  branchState 
) const [virtual]

Update bounds in solver as in 'branch' and update given bounds.

branchState is -1 for 'down' +1 for 'up'

Reimplemented from CbcBranchingObject.

virtual void CbcSOSBranchingObject::previousBranch ( ) [inline, virtual]

Reset every information so that the branching object appears to point to the previous child.

This method does not need to modify anything in any solver.

Reimplemented from CbcBranchingObject.

Definition at line 225 of file CbcSOS.hpp.

virtual void CbcSOSBranchingObject::print ( ) [virtual]

Print something about branch - only if log level high.

virtual CbcBranchObjType CbcSOSBranchingObject::type ( ) const [inline, virtual]

Return the type (an integer identifier) of this.

Implements CbcBranchingObject.

Definition at line 236 of file CbcSOS.hpp.

virtual int CbcSOSBranchingObject::compareOriginalObject ( const CbcBranchingObject brObj) const [virtual]

Compare the original object of this with the original object of brObj.

Assumes that there is an ordering of the original objects. This method should be invoked only if this and brObj are of the same type. Return negative/0/positive depending on whether this is smaller/same/larger than the argument.

Reimplemented from CbcBranchingObject.

virtual CbcRangeCompare CbcSOSBranchingObject::compareBranchingObject ( const CbcBranchingObject brObj,
const bool  replaceIfOverlap = false 
) [virtual]

Compare the this with brObj.

this and brObj must be os the same type and must have the same original object, but they may have different feasible regions. Return the appropriate CbcRangeCompare value (first argument being the sub/superset if that's the case). In case of overlap (and if replaceIfOverlap is true) replace the current branching object with one whose feasible region is the overlap.

Implements CbcBranchingObject.

Fill out the firstNonzero_ and lastNonzero_ data members.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines