SCIP Doxygen Documentation
 
Loading...
Searching...
No Matches
ConsAndData Struct Reference

Detailed Description

and-constraint data object

Definition at line 153 of file cons_pseudoboolean.c.

Data Fields

SCIP_CONScons
 
SCIP_CONSorigcons
 
SCIP_VAR ** vars
 
int nvars
 
int svars
 
SCIP_VAR ** newvars
 
int nnewvars
 
int snewvars
 
int noriguses
 
int nuses
 
unsigned int istransformed:1
 
unsigned int isoriginal:1
 

Field Documentation

◆ cons

SCIP_CONS* ConsAndData::cons

pointer to the and-constraint of this 'term' of variables

Definition at line 155 of file cons_pseudoboolean.c.

Referenced by correctLocksAndCaptures(), and updateAndConss().

◆ origcons

SCIP_CONS* ConsAndData::origcons

pointer to the original and-constraint of this 'term' of variables only after problem was transformed, NULL otherwise

Definition at line 156 of file cons_pseudoboolean.c.

◆ vars

SCIP_VAR** ConsAndData::vars

all and-constraint variables

Definition at line 158 of file cons_pseudoboolean.c.

Referenced by consdataFree(), and findAggregation().

◆ nvars

int ConsAndData::nvars

number of all and-constraint variables

Definition at line 159 of file cons_pseudoboolean.c.

Referenced by consdataFree(), findAggregation(), tryUpgradingLogicor(), and tryUpgradingSetppc().

◆ svars

int ConsAndData::svars

size for all and-constraint variables

Definition at line 160 of file cons_pseudoboolean.c.

Referenced by consdataFree().

◆ newvars

SCIP_VAR** ConsAndData::newvars

new variables in this presolving round

Definition at line 161 of file cons_pseudoboolean.c.

Referenced by findAggregation().

◆ nnewvars

int ConsAndData::nnewvars

number of new variables in this presolving round

Definition at line 162 of file cons_pseudoboolean.c.

Referenced by findAggregation(), tryUpgradingLogicor(), and tryUpgradingSetppc().

◆ snewvars

int ConsAndData::snewvars

size of new variables in this presolving round

Definition at line 163 of file cons_pseudoboolean.c.

◆ noriguses

int ConsAndData::noriguses

how often is this data in used by original constraints

Definition at line 164 of file cons_pseudoboolean.c.

Referenced by consdataFree().

◆ nuses

int ConsAndData::nuses

how often is this data in used by transformed constraints

Definition at line 165 of file cons_pseudoboolean.c.

Referenced by consdataFree(), and correctLocksAndCaptures().

◆ istransformed

unsigned int ConsAndData::istransformed

is transformed data active

Definition at line 166 of file cons_pseudoboolean.c.

◆ isoriginal

unsigned int ConsAndData::isoriginal

is original data active

Definition at line 167 of file cons_pseudoboolean.c.