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

CbcBranchAllDifferent &	operator= (const CbcBranchAllDifferent &rhs)

	~CbcBranchAllDifferent ()

virtual double	infeasibility (const OsiBranchingInformation *info, int &preferredWay) const
	Infeasibility - large is 0.5. More...

virtual CbcBranchingObject *	createCbcBranch (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 &)

CbcBranchCut &	operator= (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 CbcBranchingObject *	preferredNewFeasible () 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 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 ()
	Reset original upper and lower bound values from the solver. More...

virtual void	feasibleRegion ()=0
	For the variable(s) referenced by the object, look at the current solution and set bounds to match the solution. 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 void	resetBounds (const OsiSolverInterface *)
	Reset variable bounds to their original values. More...

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 (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 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 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
int	numberInSet_
	data More...

int *	which_
	Which variables. 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 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() [1/3]

CbcBranchAllDifferent::CbcBranchAllDifferent ( )

◆ CbcBranchAllDifferent() [2/3]

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

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

◆ CbcBranchAllDifferent() [3/3]

CbcBranchAllDifferent::CbcBranchAllDifferent ( const CbcBranchAllDifferent & )

◆ ~CbcBranchAllDifferent()

CbcBranchAllDifferent::~CbcBranchAllDifferent ( )

Member Function Documentation

◆ clone()

virtual CbcObject* CbcBranchAllDifferent::clone ( ) const

virtual

Clone.

Reimplemented from CbcBranchCut.

◆ operator=()

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

◆ infeasibility()

virtual double CbcBranchAllDifferent::infeasibility	(	const OsiBranchingInformation *	info,
		int &	preferredWay
	)		const

virtual

Infeasibility - large is 0.5.

Reimplemented from CbcBranchCut.

◆ createCbcBranch()

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

virtual

Creates a branching object.

Reimplemented from CbcBranchCut.

Member Data Documentation

◆ numberInSet_

int CbcBranchAllDifferent::numberInSet_

protected

data

Number of entries

Definition at line 54 of file CbcBranchAllDifferent.hpp.

◆ which_

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:

/home/ted/Projects/Cbc/Cbc/src/CbcBranchAllDifferent.hpp

Public Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

◆ CbcBranchAllDifferent() [1/3]

◆ CbcBranchAllDifferent() [2/3]

◆ CbcBranchAllDifferent() [3/3]

◆ ~CbcBranchAllDifferent()

Member Function Documentation

◆ clone()

◆ operator=()

◆ infeasibility()

◆ createCbcBranch()

Member Data Documentation

◆ numberInSet_

◆ which_