Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    ConsAndData Struct Reference

    Detailed Description

    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
     

    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 addCliques(), addNewLocks(), checkOrigPbCons(), chgLhs(), chgRhs(), computeConsAndDataChanges(), consdataPrint(), copyConsPseudoboolean(), correctConshdlrdata(), correctLocksAndCaptures(), createAndAddAndCons(), getLinVarsAndAndRess(), lockRoundingAndCons(), removeOldLocks(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSLOCK(), 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 156 of file cons_pseudoboolean.c.

    Referenced by checkOrigPbCons(), consdataPrint(), copyConsPseudoboolean(), correctConshdlrdata(), createAndAddAndCons(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_SORTPTRCOMP(), SCIPcreateConsPseudobooleanWithConss(), transformToOrig(), and updateConsanddataUses().

    ◆ vars

    SCIP_VAR** ConsAndData::vars

    all and-constraint variables

    Definition at line 158 of file cons_pseudoboolean.c.

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

    ◆ nvars

    int ConsAndData::nvars

    number of all and-constraint variables

    Definition at line 159 of file cons_pseudoboolean.c.

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

    ◆ svars

    int ConsAndData::svars

    size for all and-constraint variables

    Definition at line 160 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 161 of file cons_pseudoboolean.c.

    Referenced by addCliques(), checkSolution(), computeConsAndDataChanges(), 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 162 of file cons_pseudoboolean.c.

    Referenced by addCliques(), checkSolution(), computeConsAndDataChanges(), correctConshdlrdata(), 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 163 of file cons_pseudoboolean.c.

    Referenced by computeConsAndDataChanges(), 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 164 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 165 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 166 of file cons_pseudoboolean.c.

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

    ◆ isoriginal

    unsigned int ConsAndData::isoriginal

    is original data active

    Definition at line 167 of file cons_pseudoboolean.c.

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