Scippy

SCIP

Solving Constraint Integer Programs

ImplintMatrix Struct Reference

Detailed Description

constraint matrix data structure in column and row major format Contains only the linear terms, and marks the presence of non-linear terms.

Definition at line 99 of file presol_implint.c.

Data Fields

SCIP_Realcolmatval
 
int * colmatind
 
int * colmatbeg
 
int * colmatcnt
 
int ncols
 
SCIP_Reallb
 
SCIP_Realub
 
SCIP_Boolcolintegral
 
SCIP_Boolcolimplintegral
 
SCIP_Boolcolinnonlinterm
 
SCIP_VAR ** colvar
 
SCIP_Realrowmatval
 
int * rowmatind
 
int * rowmatbeg
 
int * rowmatcnt
 
int nrows
 
SCIP_Reallhs
 
SCIP_Realrhs
 
SCIP_CONS ** rowcons
 
int nnonzs
 
int nnonzssize
 

Field Documentation

◆ colmatval

SCIP_Real* ImplintMatrix::colmatval

coefficients in column major format

Definition at line 101 of file presol_implint.c.

Referenced by matrixCreate(), matrixFree(), matrixGetColumnVals(), and matrixSetColumnMajor().

◆ colmatind

int* ImplintMatrix::colmatind

row indexes in column major format

Definition at line 102 of file presol_implint.c.

Referenced by matrixCreate(), matrixFree(), matrixGetColumnInds(), and matrixSetColumnMajor().

◆ colmatbeg

int* ImplintMatrix::colmatbeg

column storage offset

Definition at line 103 of file presol_implint.c.

Referenced by matrixCreate(), matrixFree(), matrixGetColumnInds(), matrixGetColumnVals(), and matrixSetColumnMajor().

◆ colmatcnt

int* ImplintMatrix::colmatcnt

number of row entries per column

Definition at line 104 of file presol_implint.c.

Referenced by matrixCreate(), matrixFree(), matrixGetColumnNNonzs(), and matrixSetColumnMajor().

◆ ncols

int ImplintMatrix::ncols

complete number of columns

Definition at line 105 of file presol_implint.c.

Referenced by addXorLinearization(), matrixCreate(), matrixFree(), matrixGetNCols(), and matrixSetColumnMajor().

◆ lb

SCIP_Real* ImplintMatrix::lb

lower bound per variable

Definition at line 106 of file presol_implint.c.

Referenced by matrixCreate(), matrixFree(), and matrixGetColLb().

◆ ub

SCIP_Real* ImplintMatrix::ub

upper bound per variable

Definition at line 107 of file presol_implint.c.

Referenced by matrixCreate(), matrixFree(), and matrixGetColUb().

◆ colintegral

SCIP_Bool* ImplintMatrix::colintegral

whether column is integral

Definition at line 108 of file presol_implint.c.

Referenced by matrixColIsIntegral(), matrixCreate(), and matrixFree().

◆ colimplintegral

SCIP_Bool* ImplintMatrix::colimplintegral

whether the column is implied integral

Definition at line 109 of file presol_implint.c.

Referenced by matrixColIsImpliedIntegral(), matrixCreate(), and matrixFree().

◆ colinnonlinterm

SCIP_Bool* ImplintMatrix::colinnonlinterm

is the column involved in some nonlinear term?

Definition at line 110 of file presol_implint.c.

Referenced by addXorLinearization(), matrixColInNonlinearTerm(), matrixCreate(), and matrixFree().

◆ colvar

SCIP_VAR** ImplintMatrix::colvar

variable described by column

Definition at line 117 of file presol_implint.c.

Referenced by matrixCreate(), matrixFree(), and matrixGetVar().

◆ rowmatval

SCIP_Real* ImplintMatrix::rowmatval

coefficients in row major format

Definition at line 119 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), matrixFree(), matrixGetRowVals(), and matrixSetColumnMajor().

◆ rowmatind

int* ImplintMatrix::rowmatind

column indexed in row major format

Definition at line 120 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), matrixFree(), matrixGetRowInds(), and matrixSetColumnMajor().

◆ rowmatbeg

int* ImplintMatrix::rowmatbeg

row storage offset

Definition at line 121 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), matrixFree(), matrixGetRowInds(), matrixGetRowVals(), and matrixSetColumnMajor().

◆ rowmatcnt

int* ImplintMatrix::rowmatcnt

number of column entries per row

Definition at line 122 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), matrixFree(), matrixGetRowNNonzs(), and matrixSetColumnMajor().

◆ nrows

int ImplintMatrix::nrows

complete number of rows

Definition at line 124 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), matrixFree(), matrixGetNRows(), and matrixSetColumnMajor().

◆ lhs

SCIP_Real* ImplintMatrix::lhs

left hand side per row

Definition at line 125 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), matrixFree(), and matrixGetRowLhs().

◆ rhs

SCIP_Real* ImplintMatrix::rhs

right hand side per row

Definition at line 126 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), matrixFree(), and matrixGetRowRhs().

◆ rowcons

SCIP_CONS** ImplintMatrix::rowcons

constraint described by row

Definition at line 128 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), and matrixFree().

◆ nnonzs

int ImplintMatrix::nnonzs

sparsity counter

Definition at line 130 of file presol_implint.c.

Referenced by matrixAddRow(), matrixCreate(), and matrixFree().

◆ nnonzssize

int ImplintMatrix::nnonzssize

size of the nonzero arrays

Definition at line 131 of file presol_implint.c.

Referenced by matrixAddRow(), and matrixCreate().