and-constraint data object
Definition at line 153 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 |
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().
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.
SCIP_VAR** ConsAndData::vars |
all and-constraint variables
Definition at line 158 of file cons_pseudoboolean.c.
Referenced by consdataFree(), and findAggregation().
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().
int ConsAndData::svars |
size for all and-constraint variables
Definition at line 160 of file cons_pseudoboolean.c.
Referenced by consdataFree().
SCIP_VAR** ConsAndData::newvars |
new variables in this presolving round
Definition at line 161 of file cons_pseudoboolean.c.
Referenced by findAggregation().
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().
int ConsAndData::snewvars |
size of new variables in this presolving round
Definition at line 163 of file cons_pseudoboolean.c.
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().
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().
unsigned int ConsAndData::istransformed |
is transformed data active
Definition at line 166 of file cons_pseudoboolean.c.
unsigned int ConsAndData::isoriginal |
is original data active
Definition at line 167 of file cons_pseudoboolean.c.