CbcStrongInfo Struct Reference

Abstract base class for `objects'. More...

#include <CbcBranchBase.hpp>

Collaboration diagram for CbcStrongInfo:

Public Attributes
CbcBranchingObject *	possibleBranch
double	upMovement
double	downMovement
int	numIntInfeasUp
int	numObjInfeasUp
bool	finishedUp
int	numItersUp
int	numIntInfeasDown
int	numObjInfeasDown
bool	finishedDown
int	numItersDown
int	objectNumber
int	fix

Detailed Description

Abstract base class for `objects'.

It now just has stuff that OsiObject does not have

The branching model used in Cbc is based on the idea of an object. In the abstract, an object is something that has a feasible region, can be evaluated for infeasibility, can be branched on (i.e., there's some constructive action to be taken to move toward feasibility), and allows comparison of the effect of branching.

This class (CbcObject) is the base class for an object. To round out the branching model, the class CbcBranchingObject describes how to perform a branch, and the class CbcBranchDecision describes how to compare two CbcBranchingObjects.

To create a new type of object you need to provide three methods: infeasibility(), feasibleRegion(), and createBranch(), described below.

This base class is primarily virtual to allow for any form of structure. Any form of discontinuity is allowed.

Todo:: The notion that all branches are binary (two arms) is wired into the implementation of CbcObject, CbcBranchingObject, and CbcBranchDecision. Changing this will require a moderate amount of recoding.

Definition at line 57 of file CbcBranchBase.hpp.