ConsAndData Struct Reference

Detailed Description

and-constraint data object

Definition at line 126 of file cons_pseudoboolean.c.

Data Fields
SCIP_CONS *	cons
SCIP_CONS *	origcons
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

SCIP_CONS* ConsAndData::cons

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

Definition at line 128 of file cons_pseudoboolean.c.

Referenced by addCliques(), addNewLocks(), chgLhs(), chgRhs(), computeConsAndDataChanges(), consdataPrint(), copyConsPseudoboolean(), correctConshdlrdata(), correctLocksAndCaptures(), createAndAddAndCons(), createAndAddLinearCons(), getLinVarsAndAndRess(), lockRoundingAndCons(), removeOldLocks(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_SORTPTRCOMP(), SCIPcreateConsPseudobooleanWithConss(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateAndConss(), and updateConsanddataUses().

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 129 of file cons_pseudoboolean.c.

Referenced by consdataFree(), consdataPrint(), correctConshdlrdata(), createAndAddAndCons(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), and updateConsanddataUses().

SCIP_VAR** ConsAndData::vars

all and-constraint variables

Definition at line 131 of file cons_pseudoboolean.c.

Referenced by addCliques(), checkAndConss(), checkOrigPbCons(), checkSolution(), chgLhs(), chgRhs(), computeConsAndDataChanges(), consdataCreate(), consdataFree(), consdataPrint(), correctConshdlrdata(), createAndAddAndCons(), findAggregation(), getLinVarsAndAndRess(), lockRoundingAndCons(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIPcreateConsPseudobooleanWithConss(), SCIPgetLinDatasWithoutAndPseudoboolean(), transformToOrig(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), and unlockRoundingAndCons().

int ConsAndData::nvars

number of all and-constraint variables

Definition at line 132 of file cons_pseudoboolean.c.

Referenced by addCliques(), addCoefTerm(), checkAndConss(), checkOrigPbCons(), checkSolution(), chgLhs(), chgRhs(), computeConsAndDataChanges(), consdataCreate(), consdataFree(), consdataPrint(), correctConshdlrdata(), createAndAddAndCons(), createAndAddLinearCons(), findAggregation(), getLinearConsNVars(), getLinearConsVarsData(), getLinVarsAndAndRess(), lockRoundingAndCons(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIPaddTermPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPgetLinDatasWithoutAndPseudoboolean(), transformToOrig(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), and unlockRoundingAndCons().

int ConsAndData::svars

size for all and-constraint variables

Definition at line 133 of file cons_pseudoboolean.c.

Referenced by consdataFree(), correctConshdlrdata(), createAndAddAndCons(), SCIP_DECL_CONSLOCK(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().

SCIP_VAR** ConsAndData::newvars

new variables in this presolving round

Definition at line 134 of file cons_pseudoboolean.c.

Referenced by addCliques(), checkSolution(), computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), createAndAddAndCons(), findAggregation(), lockRoundingAndCons(), SCIP_DECL_CONSLOCK(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), tryUpgradingLogicor(), tryUpgradingSetppc(), and tryUpgradingXor().

int ConsAndData::nnewvars

number of new variables in this presolving round

Definition at line 135 of file cons_pseudoboolean.c.

Referenced by addCliques(), checkSolution(), computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), correctLocksAndCaptures(), createAndAddAndCons(), findAggregation(), lockRoundingAndCons(), SCIP_DECL_CONSLOCK(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), tryUpgradingLogicor(), tryUpgradingSetppc(), and tryUpgradingXor().

int ConsAndData::snewvars

size of new variables in this presolving round

Definition at line 136 of file cons_pseudoboolean.c.

Referenced by computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), createAndAddAndCons(), SCIP_DECL_CONSLOCK(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().

int ConsAndData::noriguses

how often is this data in used by original constraints

Definition at line 137 of file cons_pseudoboolean.c.

Referenced by consdataFree(), correctConshdlrdata(), createAndAddAndCons(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().

int ConsAndData::nuses

how often is this data in used by transformed constraints

Definition at line 138 of file cons_pseudoboolean.c.

Referenced by computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), correctLocksAndCaptures(), createAndAddAndCons(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), and updateConsanddataUses().

unsigned int ConsAndData::istransformed

is transformed data active

Definition at line 139 of file cons_pseudoboolean.c.

Referenced by checkSolution(), computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), correctLocksAndCaptures(), createAndAddAndCons(), getLinVarsAndAndRess(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSLOCK(), SCIP_DECL_SORTPTRCOMP(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), and updateConsanddataUses().

unsigned int ConsAndData::isoriginal

is original data active

Definition at line 140 of file cons_pseudoboolean.c.

Referenced by consdataFree(), createAndAddAndCons(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().