Declarations for CoinPresolveMatrix and CoinPostsolveMatrix and their common base class CoinPrePostsolveMatrix. More...

#include "CoinPragma.hpp"
#include "CoinPackedMatrix.hpp"
#include "CoinMessage.hpp"
#include "CoinTime.hpp"
#include <cmath>
#include <cassert>
#include <cfloat>
#include <cstdlib>

Include dependency graph for CoinPresolveMatrix.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	CoinPresolveAction
	Abstract base class of all presolve routines. More...
class	presolvehlink
	Links to aid in packed matrix modification. More...
class	CoinPresolveMatrix
	Augments CoinPrePostsolveMatrix with information about the problem that is only needed during presolve. More...
class	CoinPostsolveMatrix
	Augments CoinPrePostsolveMatrix with information about the problem that is only needed during postsolve. More...

Macros
#define	deleteAction(array, type)
#define	PRESOLVEASSERT(x)
#define	PRESOLVE_STMT(s)
#define	PRESOLVE_DETAIL_PRINT(s)
#define	PRESOLVE_INF COIN_DBL_MAX
	The usual finite infinity.
#define	PRESOLVE_SMALL_INF 1.0e20
	And a small infinity.
#define	PRESOLVEFINITE(n)
	Check for infinity using finite infinity.

Functions
void	DIE (const char *)
Functions to work with variable status
Functions to work with the CoinPrePostsolveMatrix::Status enum and related vectors. Todo Why are we futzing around with three bit status? A holdover from the packed arrays of CoinWarmStartBasis? Big swaths of the presolve code manipulates colstat_ and rowstat_ as unsigned char arrays using simple assignment to set values.
void	setRowStatus (int sequence, Status status)
	Set row status (i.e., status of artificial for this row).
Status	getRowStatus (int sequence) const
	Get row status.
bool	rowIsBasic (int sequence) const
	Check if artificial for this row is basic.
void	setColumnStatus (int sequence, Status status)
	Set column status (i.e., status of primal variable).
Status	getColumnStatus (int sequence) const
	Get column (structural variable) status.
bool	columnIsBasic (int sequence) const
	Check if column (structural variable) is basic.
void	setRowStatusUsingValue (int iRow)
	Set status of row (artificial variable) to the correct nonbasic status given bounds and current value.
void	setColumnStatusUsingValue (int iColumn)
	Set status of column (structural variable) to the correct nonbasic status given bounds and current value.
void	setStructuralStatus (const char *strucStatus, int lenParam)
	Set column (structural variable) status vector.
void	setArtificialStatus (const char *artifStatus, int lenParam)
	Set row (artificial variable) status vector.
void	setStatus (const CoinWarmStartBasis *basis)
	Set the status of all variables from a basis.
CoinWarmStartBasis *	getStatus ()
	Get status in the form of a CoinWarmStartBasis.
const char *	columnStatusString (int j) const
	Return a print string for status of a column (structural variable).
const char *	rowStatusString (int i) const
	Return a print string for status of a row (artificial variable).
Functions to load problem and solution information
These functions can be used to load portions of the problem definition and solution. See also the CoinPresolveMatrix and CoinPostsolveMatrix classes.
void	setObjOffset (double offset)
	Set the objective function offset for the original system.
void	setObjSense (double objSense)
	Set the objective sense (max/min).
void	setPrimalTolerance (double primTol)
	Set the primal feasibility tolerance.
void	setDualTolerance (double dualTol)
	Set the dual feasibility tolerance.
void	setColLower (const double *colLower, int lenParam)
	Set column lower bounds.
void	setColUpper (const double *colUpper, int lenParam)
	Set column upper bounds.
void	setColSolution (const double *colSol, int lenParam)
	Set column solution.
void	setCost (const double *cost, int lenParam)
	Set objective coefficients.
void	setReducedCost (const double *redCost, int lenParam)
	Set reduced costs.
void	setRowLower (const double *rowLower, int lenParam)
	Set row lower bounds.
void	setRowUpper (const double *rowUpper, int lenParam)
	Set row upper bounds.
void	setRowPrice (const double *rowSol, int lenParam)
	Set row solution.
void	setRowActivity (const double *rowAct, int lenParam)
	Set row activity.
Functions to retrieve problem and solution information
int	getNumCols () const
	Get current number of columns.
int	getNumRows () const
	Get current number of rows.
CoinBigIndex	getNumElems () const
	Get current number of non-zero coefficients.
const CoinBigIndex *	getColStarts () const
	Get column start vector for column-major packed matrix.
const int *	getColLengths () const
	Get column length vector for column-major packed matrix.
const int *	getRowIndicesByCol () const
	Get vector of row indices for column-major packed matrix.
const double *	getElementsByCol () const
	Get vector of elements for column-major packed matrix.
const double *	getColLower () const
	Get column lower bounds.
const double *	getColUpper () const
	Get column upper bounds.
const double *	getCost () const
	Get objective coefficients.
const double *	getRowLower () const
	Get row lower bounds.
const double *	getRowUpper () const
	Get row upper bounds.
const double *	getColSolution () const
	Get column solution (primal variable values).
const double *	getRowActivity () const
	Get row activity (constraint lhs values).
const double *	getRowPrice () const
	Get row solution (dual variables).
const double *	getReducedCost () const
	Get reduced costs.
int	countEmptyCols ()
	Count empty columns.

Variables
const double	ZTOLDP = 1e-12
	Zero tolerance.
const double	ZTOLDP2 = 1e-10
	Alternate zero tolerance.
Current and Allocated Size
During pre- and postsolve, the matrix will change in size. During presolve it will shrink; during postsolve it will grow. Hence there are two sets of size variables, one for the current size and one for the allocated size. (See the general comments for the CoinPrePostsolveMatrix class for more information.)
int	ncols_
	current number of columns
int	nrows_
	current number of rows
CoinBigIndex	nelems_
	current number of coefficients
int	ncols0_
	Allocated number of columns.
int	nrows0_
	Allocated number of rows.
CoinBigIndex	nelems0_
	Allocated number of coefficients.
CoinBigIndex	bulk0_
	Allocated size of bulk storage for row indices and coefficients.
double	bulkRatio_
	Ratio of bulk0_ to nelems0_; default is 2.
Problem representation
The matrix is the common column-major format: A pair of vectors with positional correspondence to hold coefficients and row indices, and a second pair of vectors giving the starting position and length of each column in the first pair.
CoinBigIndex *	mcstrt_
	Vector of column start positions in hrow_, colels_.
int *	hincol_
	Vector of column lengths.
int *	hrow_
	Row indices (positional correspondence with colels_).
double *	colels_
	Coefficients (positional correspondence with hrow_).
double *	cost_
	Objective coefficients.
double	originalOffset_
	Original objective offset.
double *	clo_
	Column (primal variable) lower bounds.
double *	cup_
	Column (primal variable) upper bounds.
double *	rlo_
	Row (constraint) lower bounds.
double *	rup_
	Row (constraint) upper bounds.
int *	originalColumn_
	Original column numbers.
int *	originalRow_
	Original row numbers.
double	ztolzb_
	Primal feasibility tolerance.
double	ztoldj_
	Dual feasibility tolerance.
double	maxmin_
	Maximization/minimization.
Problem solution information
The presolve phase will work without any solution information (appropriate for initial optimisation) or with solution information (appropriate for reoptimisation). When solution information is supplied, presolve will maintain it to the best of its ability. colstat_ is checked to determine the presence/absence of status information. sol_ is checked for primal solution information, and rowduals_ for dual solution information. The postsolve phase requires the complete solution information from the presolved problem (status, primal and dual solutions). It will be transformed into a correct solution for the original problem.
double *	sol_
	Vector of primal variable values.
double *	rowduals_
	Vector of dual variable values.
double *	acts_
	Vector of constraint left-hand-side values (row activity).
double *	rcosts_
	Vector of reduced costs.
unsigned char *	colstat_
	Status of primal variables.
unsigned char *	rowstat_
	Status of constraints.

Message handling
Uses the standard COIN approach: a default handler is installed, and the CoinPrePostsolveMatrix object takes responsibility for it. If the client replaces the handler with one of their own, it becomes their responsibility.
#define	NO_LINK -66666666
CoinMessageHandler *	handler_
	Message handler.
bool	defaultHandler_
	Indicates if the current handler_ is default (true) or not (false).
CoinMessage	messages_
	Standard COIN messages.
CoinMessageHandler *	messageHandler () const
	Return message handler.
void	setMessageHandler (CoinMessageHandler *handler)
	Set message handler.
CoinMessages	messages () const
	Return messages.
double *	presolve_dupmajor (const double elems, const int indices, int length, CoinBigIndex offset, int tgt=-1)
	Duplicate a major-dimension vector; optionally omit the entry with minor index `tgt`.
void	coin_init_random_vec (double *work, int n)
	Initialize a vector with random numbers.

Constructors & Destructors
enum	Status { isFree = 0x00 , basic = 0x01 , atUpperBound = 0x02 , atLowerBound = 0x03 , superBasic = 0x04 }
	Enum for status of various sorts. More...
	CoinPrePostsolveMatrix (const OsiSolverInterface *si, int ncols_, int nrows_, CoinBigIndex nelems_)
	`Native' constructor
	CoinPrePostsolveMatrix (const ClpSimplex *si, int ncols_, int nrows_, CoinBigIndex nelems_, double bulkRatio)
	ClpOsi constructor.
	~CoinPrePostsolveMatrix ()
	Destructor.

Detailed Description

Declarations for CoinPresolveMatrix and CoinPostsolveMatrix and their common base class CoinPrePostsolveMatrix.

Also declarations for CoinPresolveAction and a number of non-member utility functions.

Definition in file CoinPresolveMatrix.hpp.

Macro Definition Documentation

◆ deleteAction

#define deleteAction	(		array,
			type )

Value:

delete[] array

Definition at line 38 of file CoinPresolveMatrix.hpp.

◆ PRESOLVEASSERT

#define PRESOLVEASSERT ( x )

Value:

{ \

}

Definition at line 72 of file CoinPresolveMatrix.hpp.

◆ PRESOLVE_STMT

#define PRESOLVE_STMT ( s )

Value:

{ \

}

Definition at line 75 of file CoinPresolveMatrix.hpp.

◆ PRESOLVE_DETAIL_PRINT

#define PRESOLVE_DETAIL_PRINT ( s )

Value:

{ \

}

Definition at line 87 of file CoinPresolveMatrix.hpp.

◆ PRESOLVE_INF

#define PRESOLVE_INF COIN_DBL_MAX

The usual finite infinity.

Definition at line 106 of file CoinPresolveMatrix.hpp.

◆ PRESOLVE_SMALL_INF

#define PRESOLVE_SMALL_INF 1.0e20

And a small infinity.

Definition at line 108 of file CoinPresolveMatrix.hpp.

◆ PRESOLVEFINITE

#define PRESOLVEFINITE ( n )

Value:

(-PRESOLVE_INF < (n) && (n) < PRESOLVE_INF)

PRESOLVE_INF

#define PRESOLVE_INF

The usual finite infinity.

Definition CoinPresolveMatrix.hpp:106

Check for infinity using finite infinity.

Definition at line 110 of file CoinPresolveMatrix.hpp.

◆ NO_LINK

#define NO_LINK -66666666

Definition at line 814 of file CoinPresolveMatrix.hpp.

Enumeration Type Documentation

◆ Status

enum Status

Enum for status of various sorts.

Matches CoinWarmStartBasis::Status and adds superBasic. Most code that converts between CoinPrePostsolveMatrix::Status and CoinWarmStartBasis::Status will break if this correspondence is broken.

superBasic is an unresolved problem: there's no analogue in CoinWarmStartBasis::Status.

Enumerator
isFree
basic
atUpperBound
atLowerBound
superBasic

Definition at line 325 of file CoinPresolveMatrix.hpp.

Function Documentation

◆ DIE()

void DIE ( const char * )

inline

Definition at line 79 of file CoinPresolveMatrix.hpp.

◆ CoinPrePostsolveMatrix() [1/2]

CoinPrePostsolveMatrix	(	const OsiSolverInterface *	si,
		int	ncols_,
		int	nrows_,
		CoinBigIndex	nelems_ )

`Native' constructor

This constructor creates an empty object which must then be loaded. On the other hand, it doesn't assume that the client is an OsiSolverInterface. */ CoinPrePostsolveMatrix(int ncols_alloc, int nrows_alloc, CoinBigIndex nelems_alloc);

/*! Generic OSI constructor

See OSI code for the definition.

◆ CoinPrePostsolveMatrix() [2/2]

CoinPrePostsolveMatrix	(	const ClpSimplex *	si,
		int	ncols_,
		int	nrows_,
		CoinBigIndex	nelems_,
		double	bulkRatio )

ClpOsi constructor.

See Clp code for the definition.

◆ ~CoinPrePostsolveMatrix()

~CoinPrePostsolveMatrix ( )

Destructor.

◆ setRowStatus()

void setRowStatus	(	int	sequence,
		Status	status )

inline

Set row status (i.e., status of artificial for this row).

Definition at line 347 of file CoinPresolveMatrix.hpp.

◆ getRowStatus()

Status getRowStatus ( int sequence ) const

inline

Get row status.

Definition at line 354 of file CoinPresolveMatrix.hpp.

◆ rowIsBasic()

bool rowIsBasic ( int sequence ) const

inline

Check if artificial for this row is basic.

Definition at line 359 of file CoinPresolveMatrix.hpp.

◆ setColumnStatus()

void setColumnStatus	(	int	sequence,
		Status	status )

inline

Set column status (i.e., status of primal variable).

Definition at line 364 of file CoinPresolveMatrix.hpp.

◆ getColumnStatus()

Status getColumnStatus ( int sequence ) const

inline

Get column (structural variable) status.

Definition at line 415 of file CoinPresolveMatrix.hpp.

◆ columnIsBasic()

bool columnIsBasic ( int sequence ) const

inline

Check if column (structural variable) is basic.

Definition at line 420 of file CoinPresolveMatrix.hpp.

◆ setRowStatusUsingValue()

void setRowStatusUsingValue ( int iRow )

Set status of row (artificial variable) to the correct nonbasic status given bounds and current value.

◆ setColumnStatusUsingValue()

void setColumnStatusUsingValue ( int iColumn )

Set status of column (structural variable) to the correct nonbasic status given bounds and current value.

◆ setStructuralStatus()

void setStructuralStatus	(	const char *	strucStatus,
		int	lenParam )

Set column (structural variable) status vector.

◆ setArtificialStatus()

void setArtificialStatus	(	const char *	artifStatus,
		int	lenParam )

Set row (artificial variable) status vector.

◆ setStatus()

void setStatus ( const CoinWarmStartBasis * basis )

Set the status of all variables from a basis.

◆ getStatus()

CoinWarmStartBasis * getStatus ( )

Get status in the form of a CoinWarmStartBasis.

◆ columnStatusString()

const char * columnStatusString ( int j ) const

Return a print string for status of a column (structural variable).

◆ rowStatusString()

const char * rowStatusString ( int i ) const

Return a print string for status of a row (artificial variable).

◆ setObjOffset()

void setObjOffset ( double offset )

Set the objective function offset for the original system.

◆ setObjSense()

void setObjSense ( double objSense )

Set the objective sense (max/min).

Coded as 1.0 for min, -1.0 for max. Yes, there's a method, and a matching attribute. No, you really don't want to set this to maximise.

◆ setPrimalTolerance()

void setPrimalTolerance ( double primTol )

Set the primal feasibility tolerance.

◆ setDualTolerance()

void setDualTolerance ( double dualTol )

Set the dual feasibility tolerance.

◆ setColLower()

void setColLower	(	const double *	colLower,
		int	lenParam )

Set column lower bounds.

◆ setColUpper()

void setColUpper	(	const double *	colUpper,
		int	lenParam )

Set column upper bounds.

◆ setColSolution()

void setColSolution	(	const double *	colSol,
		int	lenParam )

Set column solution.

◆ setCost()

void setCost	(	const double *	cost,
		int	lenParam )

Set objective coefficients.

◆ setReducedCost()

void setReducedCost	(	const double *	redCost,
		int	lenParam )

Set reduced costs.

◆ setRowLower()

void setRowLower	(	const double *	rowLower,
		int	lenParam )

Set row lower bounds.

◆ setRowUpper()

void setRowUpper	(	const double *	rowUpper,
		int	lenParam )

Set row upper bounds.

◆ setRowPrice()

void setRowPrice	(	const double *	rowSol,
		int	lenParam )

Set row solution.

◆ setRowActivity()

void setRowActivity	(	const double *	rowAct,
		int	lenParam )

Set row activity.

◆ getNumCols()

int getNumCols ( ) const

inline

Get current number of columns.

Definition at line 493 of file CoinPresolveMatrix.hpp.

◆ getNumRows()

int getNumRows ( ) const

inline

Get current number of rows.

Definition at line 498 of file CoinPresolveMatrix.hpp.

◆ getNumElems()

CoinBigIndex getNumElems ( ) const

inline

Get current number of non-zero coefficients.

Definition at line 503 of file CoinPresolveMatrix.hpp.

◆ getColStarts()

const CoinBigIndex * getColStarts ( ) const

inline

Get column start vector for column-major packed matrix.

Definition at line 508 of file CoinPresolveMatrix.hpp.

◆ getColLengths()

const int * getColLengths ( ) const

inline

Get column length vector for column-major packed matrix.

Definition at line 513 of file CoinPresolveMatrix.hpp.

◆ getRowIndicesByCol()

const int * getRowIndicesByCol ( ) const

inline

Get vector of row indices for column-major packed matrix.

Definition at line 518 of file CoinPresolveMatrix.hpp.

◆ getElementsByCol()

const double * getElementsByCol ( ) const

inline

Get vector of elements for column-major packed matrix.

Definition at line 523 of file CoinPresolveMatrix.hpp.

◆ getColLower()

const double * getColLower ( ) const

inline

Get column lower bounds.

Definition at line 528 of file CoinPresolveMatrix.hpp.

◆ getColUpper()

const double * getColUpper ( ) const

inline

Get column upper bounds.

Definition at line 533 of file CoinPresolveMatrix.hpp.

◆ getCost()

const double * getCost ( ) const

inline

Get objective coefficients.

Definition at line 538 of file CoinPresolveMatrix.hpp.

◆ getRowLower()

const double * getRowLower ( ) const

inline

Get row lower bounds.

Definition at line 543 of file CoinPresolveMatrix.hpp.

◆ getRowUpper()

const double * getRowUpper ( ) const

inline

Get row upper bounds.

Definition at line 548 of file CoinPresolveMatrix.hpp.

◆ getColSolution()

const double * getColSolution ( ) const

inline

Get column solution (primal variable values).

Definition at line 553 of file CoinPresolveMatrix.hpp.

◆ getRowActivity()

const double * getRowActivity ( ) const

inline

Get row activity (constraint lhs values).

Definition at line 558 of file CoinPresolveMatrix.hpp.

◆ getRowPrice()

const double * getRowPrice ( ) const

inline

Get row solution (dual variables).

Definition at line 563 of file CoinPresolveMatrix.hpp.

◆ getReducedCost()

const double * getReducedCost ( ) const

inline

Get reduced costs.

Definition at line 568 of file CoinPresolveMatrix.hpp.

◆ countEmptyCols()

int countEmptyCols ( )

inline

Count empty columns.

Definition at line 573 of file CoinPresolveMatrix.hpp.

◆ messageHandler()

CoinMessageHandler * messageHandler ( ) const

inline

Return message handler.

Definition at line 586 of file CoinPresolveMatrix.hpp.

◆ setMessageHandler()

void setMessageHandler ( CoinMessageHandler * handler )

inline

Set message handler.

The client retains responsibility for the handler — it will not be destroyed with the CoinPrePostsolveMatrix object.

Definition at line 595 of file CoinPresolveMatrix.hpp.

◆ messages()

CoinMessages messages ( ) const

inline

Return messages.

Definition at line 604 of file CoinPresolveMatrix.hpp.

◆ presolve_dupmajor()

double * presolve_dupmajor	(	const double *	elems,
		const int *	indices,
		int	length,
		CoinBigIndex	offset,
		int	tgt = -1 )

Duplicate a major-dimension vector; optionally omit the entry with minor index tgt.

Designed to copy a major-dimension vector from the paired coefficient (elems) and minor index (indices) arrays used in the standard packed matrix representation. Copies length entries starting at offset.

If tgt is specified, the entry with minor index == tgt is omitted from the copy.

◆ coin_init_random_vec()

void coin_init_random_vec	(	double *	work,
		int	n )

Initialize a vector with random numbers.

Variable Documentation

◆ ZTOLDP

const double ZTOLDP = 1e-12

Zero tolerance.

OSL had a fixed zero tolerance; we still use that here.

Definition at line 98 of file CoinPresolveMatrix.hpp.

◆ ZTOLDP2

const double ZTOLDP2 = 1e-10

Alternate zero tolerance.

Use a different one if we are doing doubletons, etc.

Definition at line 103 of file CoinPresolveMatrix.hpp.

◆ ncols_

int ncols_

current number of columns

Definition at line 621 of file CoinPresolveMatrix.hpp.

◆ nrows_

int nrows_

current number of rows

Definition at line 623 of file CoinPresolveMatrix.hpp.

◆ nelems_

CoinBigIndex nelems_

current number of coefficients

Definition at line 625 of file CoinPresolveMatrix.hpp.

◆ ncols0_

int ncols0_

Allocated number of columns.

Definition at line 628 of file CoinPresolveMatrix.hpp.

◆ nrows0_

int nrows0_

Allocated number of rows.

Definition at line 630 of file CoinPresolveMatrix.hpp.

◆ nelems0_

CoinBigIndex nelems0_

Allocated number of coefficients.

Definition at line 632 of file CoinPresolveMatrix.hpp.

◆ bulk0_

CoinBigIndex bulk0_

Allocated size of bulk storage for row indices and coefficients.

This is the space allocated for hrow_ and colels_. This must be large enough to allow columns to be copied into empty space when they need to be expanded. For efficiency (to minimize the number of times the representation must be compressed) it's recommended that this be at least 2*nelems0_.

Definition at line 641 of file CoinPresolveMatrix.hpp.

◆ bulkRatio_

double bulkRatio_

Ratio of bulk0_ to nelems0_; default is 2.

Definition at line 643 of file CoinPresolveMatrix.hpp.

◆ mcstrt_

CoinBigIndex* mcstrt_

Vector of column start positions in hrow_, colels_.

Definition at line 655 of file CoinPresolveMatrix.hpp.

◆ hincol_

int* hincol_

Vector of column lengths.

Definition at line 657 of file CoinPresolveMatrix.hpp.

◆ hrow_

int* hrow_

Row indices (positional correspondence with colels_).

Definition at line 659 of file CoinPresolveMatrix.hpp.

◆ colels_

double* colels_

Coefficients (positional correspondence with hrow_).

Definition at line 661 of file CoinPresolveMatrix.hpp.

◆ cost_

double* cost_

Objective coefficients.

Definition at line 664 of file CoinPresolveMatrix.hpp.

◆ originalOffset_

double originalOffset_

Original objective offset.

Definition at line 666 of file CoinPresolveMatrix.hpp.

◆ clo_

double* clo_

Column (primal variable) lower bounds.

Definition at line 669 of file CoinPresolveMatrix.hpp.

◆ cup_

double* cup_

Column (primal variable) upper bounds.

Definition at line 671 of file CoinPresolveMatrix.hpp.

◆ rlo_

double* rlo_

Row (constraint) lower bounds.

Definition at line 674 of file CoinPresolveMatrix.hpp.

◆ rup_

double* rup_

Row (constraint) upper bounds.

Definition at line 676 of file CoinPresolveMatrix.hpp.

◆ originalColumn_

int* originalColumn_

Original column numbers.

Over the current range of column numbers in the presolved problem, the entry for column j will contain the index of the corresponding column in the original problem.

Definition at line 684 of file CoinPresolveMatrix.hpp.

◆ originalRow_

int* originalRow_

Original row numbers.

Over the current range of row numbers in the presolved problem, the entry for row i will contain the index of the corresponding row in the original problem.

Definition at line 691 of file CoinPresolveMatrix.hpp.

◆ ztolzb_

double ztolzb_

Primal feasibility tolerance.

Definition at line 694 of file CoinPresolveMatrix.hpp.

◆ ztoldj_

double ztoldj_

Dual feasibility tolerance.

Definition at line 696 of file CoinPresolveMatrix.hpp.

◆ maxmin_

double maxmin_

Maximization/minimization.

Yes, there's a variable here. No, you really don't want to set this to maximise. See the main notes for CoinPresolveMatrix.

Definition at line 703 of file CoinPresolveMatrix.hpp.

◆ sol_

double* sol_

Vector of primal variable values.

If sol_ exists, it is assumed that primal solution information should be updated and that acts_ also exists.

Definition at line 726 of file CoinPresolveMatrix.hpp.

◆ rowduals_

double* rowduals_

Vector of dual variable values.

If rowduals_ exists, it is assumed that dual solution information should be updated and that rcosts_ also exists.

Definition at line 732 of file CoinPresolveMatrix.hpp.

◆ acts_

double* acts_

Vector of constraint left-hand-side values (row activity).

Produced by evaluating constraints according to sol_. Updated iff sol_ exists.

Definition at line 738 of file CoinPresolveMatrix.hpp.

◆ rcosts_

double* rcosts_

Vector of reduced costs.

Produced by evaluating dual constraints according to rowduals_. Updated iff rowduals_ exists.

Definition at line 744 of file CoinPresolveMatrix.hpp.

◆ colstat_

unsigned char* colstat_

Status of primal variables.

Coded with CoinPrePostSolveMatrix::Status, one code per char. colstat_ and rowstat_ MUST be allocated as a single vector. This is to maintain compatibility with ClpPresolve and OsiPresolve, which do it this way.

Definition at line 752 of file CoinPresolveMatrix.hpp.

◆ rowstat_

unsigned char* rowstat_

Status of constraints.

More accurately, the status of the logical variable associated with the constraint. Coded with CoinPrePostSolveMatrix::Status, one code per char. Note that this must be allocated as a single vector with colstat_.

Definition at line 760 of file CoinPresolveMatrix.hpp.

◆ handler_

CoinMessageHandler* handler_

Message handler.

Definition at line 772 of file CoinPresolveMatrix.hpp.

◆ defaultHandler_

bool defaultHandler_

Indicates if the current handler_ is default (true) or not (false).

Definition at line 774 of file CoinPresolveMatrix.hpp.

◆ messages_

CoinMessage messages_

Standard COIN messages.

Definition at line 776 of file CoinPresolveMatrix.hpp.

Classes

Macros

Functions

Variables

Message handling

Constructors & Destructors

Detailed Description

Macro Definition Documentation

◆ deleteAction

◆ PRESOLVEASSERT

◆ PRESOLVE_STMT

◆ PRESOLVE_DETAIL_PRINT

◆ PRESOLVE_INF

◆ PRESOLVE_SMALL_INF

◆ PRESOLVEFINITE

◆ NO_LINK

Enumeration Type Documentation

◆ Status

Function Documentation

◆ DIE()

◆ CoinPrePostsolveMatrix() [1/2]

◆ CoinPrePostsolveMatrix() [2/2]

◆ ~CoinPrePostsolveMatrix()

◆ setRowStatus()

◆ getRowStatus()

◆ rowIsBasic()

◆ setColumnStatus()

◆ getColumnStatus()

◆ columnIsBasic()

◆ setRowStatusUsingValue()

◆ setColumnStatusUsingValue()

◆ setStructuralStatus()

◆ setArtificialStatus()

◆ setStatus()

◆ getStatus()

◆ columnStatusString()

◆ rowStatusString()

◆ setObjOffset()

◆ setObjSense()

◆ setPrimalTolerance()

◆ setDualTolerance()

◆ setColLower()

◆ setColUpper()

◆ setColSolution()

◆ setCost()

◆ setReducedCost()

◆ setRowLower()

◆ setRowUpper()

◆ setRowPrice()

◆ setRowActivity()

◆ getNumCols()

◆ getNumRows()

◆ getNumElems()

◆ getColStarts()

◆ getColLengths()

◆ getRowIndicesByCol()

◆ getElementsByCol()

◆ getColLower()

◆ getColUpper()

◆ getCost()

◆ getRowLower()

◆ getRowUpper()

◆ getColSolution()

◆ getRowActivity()

◆ getRowPrice()

◆ getReducedCost()

◆ countEmptyCols()

◆ messageHandler()

◆ setMessageHandler()

◆ messages()

◆ presolve_dupmajor()

◆ coin_init_random_vec()

Variable Documentation

◆ ZTOLDP

◆ ZTOLDP2

◆ ncols_

◆ nrows_

◆ nelems_

◆ ncols0_

◆ nrows0_