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 CbcObject *	clone () const
	Clone. More...

CbcFollowOn2 &	operator= (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 CbcBranchingObject *	createBranch (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 &)

CbcObject &	operator= (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 CbcBranchingObject *	createCbcBranch (OsiSolverInterface , const OsiBranchingInformation , int)
	Create a branching object and indicate which way to branch first. More...

virtual OsiBranchingObject *	createBranch (OsiSolverInterface , const OsiBranchingInformation , int) const

virtual OsiBranchingObject *	createOsiBranch (OsiSolverInterface solver, const OsiBranchingInformation info, int way) const
	Create an Osibranching object and indicate which way to branch first. More...

virtual OsiSolverBranch *	solverBranch () const
	Create an OsiSolverBranch object. More...

virtual CbcBranchingObject *	preferredNewFeasible () 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 CbcBranchingObject *	notPreferredNewFeasible () 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...

CbcModel *	model () 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...

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
CbcModel *	model_
	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...

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() [1/3]

CbcFollowOn2::CbcFollowOn2 ( )

◆ CbcFollowOn2() [2/3]

CbcFollowOn2::CbcFollowOn2 ( CbcModel * model )

Useful constructor.

◆ CbcFollowOn2() [3/3]

CbcFollowOn2::CbcFollowOn2 ( const CbcFollowOn2 & )

◆ ~CbcFollowOn2()

CbcFollowOn2::~CbcFollowOn2 ( )

Member Function Documentation

◆ clone()

virtual CbcObject* CbcFollowOn2::clone ( ) const

virtual

Clone.

Implements CbcObject.

◆ operator=()

CbcFollowOn2& CbcFollowOn2::operator= ( const CbcFollowOn2 & rhs )

◆ infeasibility()

virtual double CbcFollowOn2::infeasibility ( int & preferredWay ) const

virtual

Infeasibility - large is 0.5.

Reimplemented from CbcObject.

◆ feasibleRegion()

virtual void CbcFollowOn2::feasibleRegion ( )

virtual

This looks at solution and sets bounds to contain solution.

Implements CbcObject.

◆ createBranch()

virtual CbcBranchingObject* CbcFollowOn2::createBranch ( int way )

virtual

Creates a branching object.

◆ gutsOfFollowOn2()

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)

◆ maximumRhs()

int CbcFollowOn2::maximumRhs ( ) const

inline

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

Definition at line 61 of file CbcBranchFollow2.hpp.

◆ setMaximumRhs()

void CbcFollowOn2::setMaximumRhs ( int value )

inline

Definition at line 65 of file CbcBranchFollow2.hpp.

Member Data Documentation

◆ matrix_

CoinPackedMatrix CbcFollowOn2::matrix_

protected

data Matrix

Definition at line 73 of file CbcBranchFollow2.hpp.

◆ matrixByRow_

CoinPackedMatrix CbcFollowOn2::matrixByRow_

protected

Matrix by row.

Definition at line 75 of file CbcBranchFollow2.hpp.

◆ rhs_

int* CbcFollowOn2::rhs_

protected

Possible rhs (if 0 then not possible)

Definition at line 77 of file CbcBranchFollow2.hpp.

◆ maximumRhs_

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:

/home/ted/Projects/Cbc/Cbc/examples/CbcBranchFollow2.hpp

Public Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

◆ CbcFollowOn2() [1/3]

◆ CbcFollowOn2() [2/3]

◆ CbcFollowOn2() [3/3]

◆ ~CbcFollowOn2()

Member Function Documentation

◆ clone()

◆ operator=()

◆ infeasibility()

◆ feasibleRegion()

◆ createBranch()

◆ gutsOfFollowOn2()

◆ maximumRhs()

◆ setMaximumRhs()

Member Data Documentation

◆ matrix_

◆ matrixByRow_

◆ rhs_

◆ maximumRhs_