Detailed Description
and-constraint data object
Definition at line 154 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
◆ cons
SCIP_CONS* ConsAndData::cons |
pointer to the and-constraint of this 'term' of variables
Definition at line 156 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().
◆ 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 157 of file cons_pseudoboolean.c.
Referenced by consdataFree(), consdataPrint(), correctConshdlrdata(), createAndAddAndCons(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), and updateConsanddataUses().
◆ vars
SCIP_VAR** ConsAndData::vars |
all and-constraint variables
Definition at line 159 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().
◆ nvars
int ConsAndData::nvars |
number of all and-constraint variables
Definition at line 160 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().
◆ svars
int ConsAndData::svars |
size for all and-constraint variables
Definition at line 161 of file cons_pseudoboolean.c.
Referenced by consdataFree(), correctConshdlrdata(), createAndAddAndCons(), SCIP_DECL_CONSLOCK(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().
◆ newvars
SCIP_VAR** ConsAndData::newvars |
new variables in this presolving round
Definition at line 162 of file cons_pseudoboolean.c.
Referenced by addCliques(), checkSolution(), computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), createAndAddAndCons(), findAggregation(), lockRoundingAndCons(), SCIP_DECL_CONSLOCK(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), tryUpgradingLogicor(), tryUpgradingSetppc(), and tryUpgradingXor().
◆ nnewvars
int ConsAndData::nnewvars |
number of new variables in this presolving round
Definition at line 163 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().
◆ snewvars
int ConsAndData::snewvars |
size of new variables in this presolving round
Definition at line 164 of file cons_pseudoboolean.c.
Referenced by computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), createAndAddAndCons(), SCIP_DECL_CONSLOCK(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().
◆ noriguses
int ConsAndData::noriguses |
how often is this data in used by original constraints
Definition at line 165 of file cons_pseudoboolean.c.
Referenced by consdataFree(), correctConshdlrdata(), createAndAddAndCons(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().
◆ nuses
int ConsAndData::nuses |
how often is this data in used by transformed constraints
Definition at line 166 of file cons_pseudoboolean.c.
Referenced by computeConsAndDataChanges(), consdataFree(), correctConshdlrdata(), correctLocksAndCaptures(), createAndAddAndCons(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), and updateConsanddataUses().
◆ istransformed
unsigned int ConsAndData::istransformed |
is transformed data active
Definition at line 167 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().
◆ isoriginal
unsigned int ConsAndData::isoriginal |
is original data active
Definition at line 168 of file cons_pseudoboolean.c.
Referenced by consdataFree(), createAndAddAndCons(), SCIPcreateConsPseudobooleanWithConss(), and transformToOrig().